WikiStart: matita_0.99.2-1_amd64.deb

File matita_0.99.2-1_amd64.deb, 4.3 MB (added by sacerdot, 5 years ago)

Matita 0.99.2, compatible with the CerCo? sources. Debian package.

HTML preview not available, since the file size exceeds 262144 bytes. Try downloading the file instead.