3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | solutions/ | 7 | 2024-10-16 03:15:38 |
| - | S01_Calculating.lean | 3333 | 2024-06-13 13:37:56 |
| - | S02_Proving_Identities_in_Algebraic_Structures.lean | 3145 | 2024-06-13 13:37:56 |
| - | S03_Using_Theorems_and_Lemmas.lean | 3697 | 2024-06-13 13:37:56 |
| - | S04_More_on_Order_and_Divisibility.lean | 1741 | 2024-06-13 13:37:56 |
| - | S05_Proving_Facts_about_Algebraic_Structures.lean | 2586 | 2024-06-13 13:37:56 |