Sign inSign up

eldesh/matita

By eldesh

•Updated almost 6 years ago

Matita interactive theorem prover

Image
0

184

Tags for eldesh/matita

Sort by

TAG

0.99.3

Last pushed almost 6 years by eldesh

docker pull eldesh/matita:0.99.3
DigestOS/ARCHCompressed size

199195256b4b

linux/amd64

428.57 MB