3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | solutions/ | 5 | 2024-10-16 03:15:10 |
| - | S01_Irrational_Roots.lean | 3508 | 2024-06-13 13:37:56 |
| - | S02_Induction_and_Recursion.lean | 3561 | 2024-06-13 13:37:56 |
| - | S03_Infinitely_Many_Primes.lean | 6271 | 2024-06-13 13:37:56 |