Install Matitac.opt On A Debian, Ubuntu And Raspbian
Install matitac.opt
-
Debian
apt-get install matita
Click to copy -
Ubuntu
apt-get install matita
Click to copy -
Raspbian
apt-get install matita
Click to copy
matita
interactive theorem proverMatita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.
Install the latest version of matitac.opt in Debian, Ubuntu and Raspbian from terminal. To install the matitac.opt just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of matitac.opt from the respository and install it in your computer/server.