3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | Leantoys/ | 3 | 2025-11-28 21:22:42 |
| - | Leantoys.lean | 22 | 2025-10-21 13:03:06 |
| - | README.md | 485 | 2025-10-21 12:48:30 |
| - | lake-manifest.json | 3122 | 2025-10-21 12:55:30 |
| - | lakefile.toml | 387 | 2025-10-21 13:19:29 |
| - | lean-toolchain | 29 | 2025-10-21 12:48:30 |