• 01_Calculating.lean -rw-r--r-- 3429 bytes
• 02_Proving_Identities_in_Algebraic_Structures.lean -rw-r--r-- 3096 bytes
• 03_Using_Theorems_and_Lemmas.lean -rw-r--r-- 4007 bytes
• 04_More_on_Order_and_Divisibility.lean -rw-r--r-- 1685 bytes
• 05_Proving_Facts_about_Algebraic_Structures.lean -rw-r--r-- 2441 bytes
• solutions/ drwxrwxrwx 378 bytes