Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
coq-prover_math-comp-school-2022_amd64.snap | 01-Feb-2023 19:10 | 266M | ||
Coq-Platform-release-2022.09.0-version~math-comp-school-2022-MacOS-x86_64.dmg | 01-Feb-2023 19:08 | 256M | ||
Coq-Platform-release-2022.09.0-version~math-comp-school-2022-Windows-x86_64.exe | 01-Feb-2023 19:09 | 215M | ||
opam/ | 01-Feb-2023 19:11 | - | ||