A formal proof generator from semi-formal proof documents

DOI10.1007/978-3-319-67729-3_1zbMath1444.68287OpenAlexW2755232768MaRDI QIDQ1675786

Kazuhiro Ogata, Adrián Riesco

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_1

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

CiMPA ⋮ CiMPG

Uses Software

• Dafny
• Isabelle/HOL
• LARCH
• PVS
• CafeOBJ
• Maude
• Hets
• CafeInMaude

This page was built for publication: A formal proof generator from semi-formal proof documents