![[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 | 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 | |
| coq-prover_math-comp-school-2022_amd64.snap | 01-Feb-2023 19:10 | 266M | |
| opam/ | 01-Feb-2023 19:11 | - | |