Incredible Proof Machine

swMATH28840MaRDI QIDQ40554FDOQ40554

Author name not available (Why is that?)

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

Cited In (11)

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

This page was built for software: Incredible Proof Machine