3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | MIL/ | 14 | 2024-10-16 03:12:27 |
| zip | html/ | 22 | 2024-10-16 03:18:07 |
| zip | my_files/ | 15 | 2025-10-21 12:43:19 |
| - | MIL.lean | 1870 | 2024-06-13 13:37:56 |
| - | README.md | 5402 | 2024-06-13 13:37:56 |
| - | lake-manifest.json | 2182 | 2024-06-13 13:37:56 |
| - | lakefile.lean | 325 | 2024-06-13 13:37:56 |
| - | lean-toolchain | 28 | 2024-06-13 13:37:56 |
| - | mathematics_in_lean.pdf | 975874 | 2024-06-13 13:37:56 |