• solutions_01_Implication_and_the_Universal_Quantifier.lean -rw-r--r-- 2948 bytes
• solutions_02_The_Existential_Quantifier.lean -rw-r--r-- 1811 bytes
• solutions_03_Negation.lean -rw-r--r-- 2200 bytes
• solutions_04_Conjunction_and_Bi-implication.lean -rw-r--r-- 1841 bytes
• solutions_05_Disjunction.lean -rw-r--r-- 3175 bytes
• solutions_06_Sequences_and_Convergence.lean -rw-r--r-- 4258 bytes