free-theorem-provers

Articles

• Paradox (theorem prover)Finite-domain model finder for pure first-order logic with equality
• Paradox (theorem prover)Finite-domain model finder for pure first-order logic with equality
• Paradox (theorem prover)Finite-domain model finder for pure first-order logic with equality
• Prover9Automated theorem proofer
• Paradox (theorem prover)Finite-domain model finder for pure first-order logic with equality
• HOL LightProof assistant program
• Paradox (theorem prover)Finite-domain model finder for pure first-order logic with equality
• Otter (theorem prover)Automated theorem prover