3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | solutions/ | 7 | 2024-10-16 03:19:01 |
| - | S01_Calculating.lean | 4038 | 2024-06-13 15:28:20 |
| - | S02_Proving_Identities_in_Algebraic_Structures.lean | 4941 | 2024-06-19 17:56:28 |
| - | S03_Using_Theorems_and_Lemmas.lean | 4292 | 2024-06-15 19:49:41 |
| - | S04_More_on_Order_and_Divisibility.lean | 3043 | 2024-06-17 13:56:18 |
| - | S05_Proving_Facts_about_Algebraic_Structures.lean | 3510 | 2024-07-02 02:29:48 |