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