Incredible Proof Machine

MaRDI QIDQ40554swMATHFDO

Authors Joachim Breitner, Denis Lohner

Publication date 20 May 2016

Official website https://www.isa-afp.org/entries/Incredible_Proof_Machine.html

Cites work

• Visual theorem proving with the Incredible Proof Machine

Cited in

(11)

• Sequoia
• Formalization of the resolution calculus for first-order logic
• Visual theorem proving with the Incredible Proof Machine
• theoremprover-museum
• Unbound
• Knuth Bendix Orders
• Incompleteness Theorems
• Verified Prover
• Abstract Soundness
• FOL_Harrison
• Logitext

This page was built for software: Incredible Proof Machine