Installlion's Logo

Installlion.com

How To Install matita on stretch

To install matita just follow these instructions.

Install matita

interactive theorem prover Debian 9.0 math 0.99.3-1+b1

sudo apt-get install matita

Which will install matita and any other packages on which it depends.

Package Data

Packagematita
Version0.99.3-1+b1
MaintainerDebian OCaml Maintainers
Descriptioninteractive theorem prover
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies