3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | TAOCP/ | 3 | 2025-02-19 15:04:47 |
| - | README.md | 7 | 2025-02-15 19:29:44 |
| - | TAOCP.lean | 151 | 2025-02-16 02:55:05 |
| - | lake-manifest.json | 3117 | 2025-02-15 19:31:20 |
| - | lakefile.toml | 258 | 2025-02-15 19:29:44 |
| - | lean-toolchain | 29 | 2025-02-15 19:31:20 |