• 01_Implication_and_the_Universal_Quantifier.lean -rw-r--r-- 4257 bytes
• 02_The_Existential_Quantifier.lean -rw-r--r-- 3149 bytes
• 03_Negation.lean -rw-r--r-- 2777 bytes
• 04_Conjunction_and_Bi-implication.lean -rw-r--r-- 3248 bytes
• 05_Disjunction.lean -rw-r--r-- 1979 bytes
• 06_Sequences_and_Convergence.lean -rw-r--r-- 3005 bytes
• solutions/ drwxrwxrwx 416 bytes