Publication:2729065
From MaRDI portal
zbMath0971.68627MaRDI QIDQ2729065
Publication date: 6 November 2001
68U99: Computing methodologies and applications
Related Items
Progress in the Development of Automated Theorem Proving for Higher-Order Logic, Proof General, Supporting the formal verification of mathematical texts, An experiment concerning mathematical proofs on computers with French undergraduate students, Automation for interactive proof: first prototype, User interaction with the Matita proof assistant, The Isabelle Framework, Formal Proof: Reconciling Correctness and Understanding
Uses Software