• S01_Calculating.lean -rw-r--r-- 3352 bytes
• S02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 3151 bytes
• S03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 3771 bytes
• S04_More_on_Order_and_Divisibility.lean -rw-r--r-- 1745 bytes
• S05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 2512 bytes
• solutions/ drwxrwxrwx 383 bytes