prover9-mace4
GUI for Prover9 and Mace4
Install
- All systems
-
curl cmd.cat/prover9-mace4.sh
- Debian
-
apt-get install prover9-mace4 - Ubuntu
-
apt-get install prover9-mace4 - Kali Linux
-
apt-get install prover9-mace4 - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install prover9-mace4 - Raspbian
-
apt-get install prover9-mace4 - Dockerfile
- dockerfile.run/prover9-mace4
prover9-mace4
GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.