matita
interactive theorem prover
Install
- All systems
-
curl cmd.cat/matita.sh
- Debian
-
apt-get install matita
- Ubuntu
-
apt-get install matita
- Windows (WSL2)
-
sudo apt-get update
sudo apt-get install matita
- Raspbian
-
apt-get install matita
- Dockerfile
- dockerfile.run/matita
matita
interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.