Prover9-Mace4-v05B 0.5

Free

Prover9 is an automated theorem prover for first-order and equational logic.

0.5 beta (See all)

mccune

Review Comments Questions & Answers Update program info

Old versions

Prover9-Mace4-v05B 0.5 beta

See all

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. The program comes for different operating systems and a Mac version is also available.

Share your experience:

Write a review about this program

DOWNLOAD Free 13.9 MB

1 person

Freeware