| c | File Name | Size | T | Date |
|---|---|---|---|---|
| zip | Leantoys/ | 3 | --- | 2025-11-28 21:22:42 |
| - | Leantoys.lean | 22 | lean | 2025-10-21 13:03:06 |
| - | README.md | 485 | md | 2025-10-21 12:48:30 |
| - | lake-manifest.json | 3122 | json | 2025-10-21 12:55:30 |
| - | lakefile.toml | 387 | toml | 2025-10-21 13:19:29 |
| - | lean-toolchain | 29 | % | 2025-10-21 12:48:30 |