Categories
Mac

Prover9-Mace4-v05B 0.5

Free Prover9 and Mace4 are automated theorem provers for first-order and equational logic.
1 
Rating
Your vote:
Latest version:
0.5b See all
Developer:
mccune
Review Comments (1) Questions & Answers
Download
Free   13.9 MB
Freeware
Used by 1 person
Old versions
Prover9-Mace4-v05B 0.5  beta
Edit app info
Info updated on:
Mac Informer Mac Informer
Discover macOS apps and get updates in one click

Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.

Share your experience:
Write a review about this app

Video and screenshot (2)

Comments (1)

1
Rating
1 vote
5 stars
0
4 stars
0
3 stars
0
2 stars
0
1 stars
1
See all comments
User

Your vote:

Comment via Facebook
T
rating tope
El programa es del 2008. Está obsoleto. Un engaño.

Oct 6, 2023 Was it helpful?  yes(0) no(0) | Reply

Recent downloads

Latest updates