Theorem Provers
- First-order resolution
- Automated theorem proving
- ACL2 theorem prover
- E equational theorem prover
- Gandalf theorem prover
- HOL theorem prover
- Isabelle theorem prover
- LCF theorem prover
- Otter theorem prover
- Paradox theorem prover
- Vampire theorem prover
- Interactive proof system
- Mizar system
- QED project
- Coq
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the word theorem:
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)