Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Coq-Platform-release-2022.09.0-version~math-comp-school-2022-MacOS-x86_64.dmg | 02-Dec-2022 13:34 | 256M | ||
Coq-Platform-release-2022.09.0-version~math-comp-school-2022-Windows-x86_64.exe | 02-Dec-2022 13:35 | 215M | ||
coq-prover_math-comp-school-2022_amd64.snap | 03-Dec-2022 09:44 | 266M | ||
opam/ | 02-Dec-2022 11:52 | - | ||
video1.mp4 | 05-Dec-2022 10:30 | 67M | ||
video4.mp4 | 06-Dec-2022 16:07 | 78M | ||