Interpreting mathematical texts in Naproche-SAD

DOI10.1007/978-3-030-53518-6_19zbMath1455.68244OpenAlexW3043044873MaRDI QIDQ2219411

Adrian De Lon, Peter Koepke, Anton Lorenzen

Publication date: 20 January 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_19

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Presentation and content markup for mathematics (68V25)

Related Items (2)

ProofLang: the language of arXiv proofs ⋮ Naproche-SAD

Uses Software

• Unnamed Item
• Mizar
• ForTheL
• Lean
• Naproche

This page was built for publication: Interpreting mathematical texts in Naproche-SAD