matitac opt

Install Matitac.opt On A Debian, Ubuntu And Raspbian

Install Matitac.opt On A Debian, Ubuntu And Raspbian

matitac.opt

interactive theorem prover

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 prover

Matita 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.