| c | File Name | Size | T | Date |
|---|---|---|---|---|
| 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 | lean | 2024-06-13 13:37:56 |
| - | README.md | 5402 | md | 2024-06-13 13:37:56 |
| - | lake-manifest.json | 2182 | json | 2024-06-13 13:37:56 |
| - | lakefile.lean | 325 | lean | 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 |