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