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

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

Matita snapshot for typechecking CPP submissions

HTML preview not available, since the file size exceeds 256.0 KB. Try downloading the file instead.