Categories
Mac

Prover9-Mace4-v05B 0.5 beta

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

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 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

Related apps

Apple Logic Pro
Apple Logic Pro
rating

Advanced music creation and audio production tool.

BitScope Logic
BitScope Logic
Free
rating

It is a 12 channel mixed signal logic timing and protocol analysis application.

Parabinomial Theorem
Parabinomial Theorem
Free
rating

It allows you to perform complicated binomial expansion.

Logic 2010
Logic 2010
Free
rating

System for computer and Internet-assisted classroom instruction.

Logic Autosave
Logic Autosave
Free
rating

Logic Autosave autosaves Logic Pro projects at specified intervals.

Tags

Equational Finite Logic Mace4 Prover Theorem