• S01_Calculating.lean -rw-r--r-- 3380 bytes
• S02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 3153 bytes
• S03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 3772 bytes
• S04_More_on_Order_and_Divisibility.lean -rw-r--r-- 1699 bytes
• S05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 2490 bytes
• solutions/ drwxrwxrwx 383 bytes