eldesh/matita

•Updated over 5 years ago

Matita interactive theorem prover

Image

158

Tags for eldesh/matita

Sort by

TAG

0.99.3

Last pushed over 5 years by eldesh

docker pull eldesh/matita:0.99.3

Digest	OS/ARCH	Compressed size
199195256b4b	linux/amd64	428.57 MB