P. rex: An interactive proof explainer

DOI10.1007/3-540-45744-5_33MaRDI QIDQ4539626zbMATH OpenFDO

Authors Armin Fiedler

Publication date 10 July 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830416

Mathematics Subject Classification ID

Recommendations

• Mechanizing Mathematical Reasoning
• ProofViz: an interactive visual proof explorer
• scientific article; zbMATH DE number 3922016
• TPS: A hybrid automatic-interactive system for developing proofs
• scientific article; zbMATH DE number 2079832

Cited in

(8)

• System description: Interactive proof critics in XBarnacle
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• An interactive derivation viewer
• Lemmatization for stronger reasoning in large theories
• P.rex
• Formal Methods in Software and Systems Modeling
• Mechanizing Mathematical Reasoning
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• Twelf
• OMEGA

This page was built for publication: P. rex: An interactive proof explainer

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