Prover9-Mace4 GUI V0.4 (Beta)




Windows

Download: Prover9-Mace4-v0.4b-setup.exe (about 5.2 MB, updated Oct 23, 2007 to correct a Prover9 fatal error on non-equality problems)

Known Windows Problems


Macintosh

Download: prover9-mace4-v04.zip (about 8.2 MB)

Known Mac Problems


Linux

Download: p9m4-v0.4.tar.gz (about 1.7 MB)