| c | File Name | Size | T | Date |
|---|---|---|---|---|
| zip | TAOCP/ | 3 | --- | 2025-02-19 15:04:47 |
| - | README.md | 7 | md | 2025-02-15 19:29:44 |
| - | TAOCP.lean | 151 | lean | 2025-02-16 02:55:05 |
| - | lake-manifest.json | 3117 | json | 2025-02-15 19:31:20 |
| - | lakefile.toml | 258 | toml | 2025-02-15 19:29:44 |
| - | lean-toolchain | 29 | % | 2025-02-15 19:31:20 |