• S01_Calculating.lean -rw-r--r-- 3333 bytes
• S02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 3142 bytes
• S03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 3767 bytes
• S04_More_on_Order_and_Divisibility.lean -rw-r--r-- 1742 bytes
• S05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 2505 bytes
• solutions/ drwxrwxrwx 383 bytes