Click’n Prove: Interactive Proofs within Set Theory

DOI10.1007/10930755_1zbMath1279.68283OpenAlexW1556500444MaRDI QIDQ3559759

Dominique Cansell, Jean-Raymond Abrial

Publication date: 7 May 2010

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

Full work available at URL: https://doi.org/10.1007/10930755_1

Mathematics Subject Classification ID

Set theory (03E99)

Related Items (5)

Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm ⋮ Proving pointer programs in higher-order logic ⋮ Incremental Parametric Development of Greedy Algorithms ⋮ Verified Compilation and the B Method: A Proposal and a First Appraisal ⋮ The RISC ProofNavigator: a proving assistant for program verification in the classroom

Uses Software

• Coq
• Isabelle
• OTTER
• Proof General

This page was built for publication: Click’n Prove: Interactive Proofs within Set Theory