Verifying and Invalidating Textbook Proofs Using Scunak

DOI10.1007/11812289_10MaRDI QIDQ5756759zbMATH OpenOpenAlexFDO

Authors Chad E. Brown

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11812289_10

Mathematics Subject Classification ID

Recommendations

• Formal Representation of Mathematics in a Dependently Typed Set Theory
• Supporting the formal verification of mathematical texts
• Mathematical Knowledge Management
• On Correctness of Mathematical Texts from a Logical and Practical Point of View
• scientific article; zbMATH DE number 4074537

Cited in

(3)

• scunac
• A user-friendly interface for a lightweight verification system
• Formal Representation of Mathematics in a Dependently Typed Set Theory

Describes a project that uses

Uses Software

• Twelf
• OMDoc

This page was built for publication: Verifying and Invalidating Textbook Proofs Using Scunak

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756759)