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...
This link has been deleted, because the target site may harm your computer.
