Category:Theorem proving software systems
This category has only the following subcategory.
- ► Free theorem provers (19 P)
Pages in category "Theorem proving software systems"
The following 17 pages are in this category, out of 17 total.
- CARINE (software)
- EQP (software)
- Geometry Expert (computing)
- Nqthm (software)
- OBJ (programming language) (computing)
- Planner (programming language) (computing)
- Vampire (theorem prover) (software)