WikiStart: Matita-18-06-2012.tar.gz

File Matita-18-06-2012.tar.gz, 25.9 MB (added by mulligan, 6 years ago)

Matita snapshot for typechecking CPP submissions

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