dockerfile.run – matitaclean

matitaclean

interactive theorem prover

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 matitaclean on any operating system with command-not-found.com