eldesh/matita repository overview

⁠Summary

This image provides matita environemnt. Matita is an experimental, interactive theorem prover based on dependent type theory written in OCaml with lablgtk.

⁠Version

• 0.99.3

⁠How to use

Matita runs as a GUI application, so DISPLAY environment variable is required like below:

docker run -e DISPLAY=... eldesh/matita:0.99.3

e.g:

docker run -e DISPLAY=192.168.1.2:0 eldesh/matita:0.99.3

⁠Environment

• base image: ubuntu:18.04
• matita is installed in /usr/local/matita/

⁠Link

• matita official web site⁠