scientific article; zbMATH DE number 1497860

MaRDI QIDQ4499291zbMATH OpenFDO

Authors Rod Burstall

Publication date 5 March 2001

zbMATH Keywords

ProveEasy

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3922016
• Visual theorem proving with the Incredible Proof Machine
• ProofViz: an interactive visual proof explorer
• The AProS Project: Strategic Thinking & Computational Logic
• Mechanizing Mathematical Reasoning

Cited in

(11)

• The RISC ProofNavigator: a proving assistant for program verification in the classroom
• Visual theorem proving with the Incredible Proof Machine
• Granularity analysis for tutoring mathematical proofs
• scientific article; zbMATH DE number 6008725 (Why is no real title available?)
• Natural Deduction Environment for Matita
• scientific article; zbMATH DE number 2061682 (Why is no real title available?)
• A user-friendly interface for a lightweight verification system
• Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
• Pandora: A Reasoning Toolbox using Natural Deduction Style
• Mechanizing Mathematical Reasoning
• Rod Burstall: in memoriam (1934--2025)

This page was built for publication:

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