Prover9-Mace4 GUI V0.3



Windows

Download: Prover9-Mace4-setup.exe (about 5.5 MB)

Known Windows Bugs


Macintosh

Download: prover9-mace4.zip (about 8.5 MB)

Known Mac Bugs


Linux

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