• S01_Implication_and_the_Universal_Quantifier.lean -rw-r--r-- 4158 bytes
• S02_The_Existential_Quantifier.lean -rw-r--r-- 3055 bytes
• S03_Negation.lean -rw-r--r-- 2644 bytes
• S04_Conjunction_and_Bi-implication.lean -rw-r--r-- 3245 bytes
• S05_Disjunction.lean -rw-r--r-- 1972 bytes
• S06_Sequences_and_Convergence.lean -rw-r--r-- 2979 bytes
• solutions/ drwxrwxrwx 422 bytes