Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Home ›
Development ›
Prover9-Mace4
Prover9-Mace4
By UNM
Rating:
0/5 (0)
0/5 (0)
License type:
Freeware
Home page:
www.cs.unm.edu
Latest version:
0.5
Last updated:
December 31st, 2009
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover. This version...
