![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| 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 | |