Prover9-Mace4-v05B download

Prover9 and Mace4 are automated theorem provers for first-order and equational logic.
Counter
Download the latest version from Mac Informer
Version: 0.5b
Date update: Mar 29, 2022
File name: Prover9-Mace4-v05B.zip
Size: 13.9 MB

Additional links

Download the latest version from the developer's website
Prover9-Mace4-v05B.zip

Latest versions of Prover9-Mace4-v05B

0.5 β (latest)
Prover9-Mace4-v05B.zip
0.5b (latest)
Mar 29, 2022
Prover9-Mace4-v05B.zip

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