matitaclean

interactive theorem prover

Install

All systems
curl cmd.cat/matitaclean.sh
Debian 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/matitaclean

matita

interactive theorem prover

Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.