Towards verified handwritten calculational proofs (short paper)

DOI10.1007/978-3-319-94821-8_25OpenAlexW2810454321MaRDI QIDQ1791183

João F. Ferreira, Alexandra Mendes

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_25

zbMATH Keywords

interactive theorem provingmathematical proofcalculational methodhandwritinghandwritten mathematics

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof General
• Isabelle/jEdit
• Isabelle/PIDE
• MathBrush

This page was built for publication: Towards verified handwritten calculational proofs (short paper)