• Solutions_S01_Implication_and_the_Universal_Quantifier.lean -rw-r--r-- 2821 bytes
• Solutions_S02_The_Existential_Quantifier.lean -rw-r--r-- 1743 bytes
• Solutions_S03_Negation.lean -rw-r--r-- 2032 bytes
• Solutions_S04_Conjunction_and_Bi-implication.lean -rw-r--r-- 1842 bytes
• Solutions_S05_Disjunction.lean -rw-r--r-- 3109 bytes
• Solutions_S06_Sequences_and_Convergence.lean -rw-r--r-- 4166 bytes