Incredible Proof Machine

MaRDI QIDQ40554swMATHFDO

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

Cited in

(11)

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

This page was built for software: Incredible Proof Machine