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