3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | Solutions_S01_Structures.lean | 2658 | 2024-06-13 13:37:56 |
| - | Solutions_S02_Algebraic_Structures.lean | 1840 | 2024-06-13 13:37:56 |
| - | Solutions_S03_Building_the_Gaussian_Integers.lean | 7373 | 2024-06-13 13:37:56 |