matitac.opt

interactive theorem prover

Debian Debian
RUN apt-get update && \ apt-get install -y matita
Ubuntu
RUN apt-get update && \ apt-get install -y matita
Raspbian
RUN apt-get update && \ apt-get install -y matita
click the source code to copy install matitac.opt on any operating system with command-not-found.com