Installlion: How To Install matita on jessie

How To Install matita on jessie

To install matita just follow these instructions.

Are you having problems? You can always remove matita again by following the instructions at this link.

/debian/jessie/main///install/index.html interactive theorem prover Debian 8.0 math 0.99.1-3

sudo apt-get install matita

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