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)
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...
Download:
https://www.cs.unm.edu/~mccune/prover9/gui/Prover9-Mace4-v05-setup.exe
5.23 MB Downloaded 34 times
5.23 MB Downloaded 34 times