matitac

interactive theorem prover

Install

All systems
curl cmd.cat/matitac.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

matita

interactive theorem prover

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