• solutions_01_Implication_and_the_Universal_Quantifier.lean -rw-r--r-- 2948 bytes
• solutions_01_Implication_and_the_Universal_Quantifier.olean -rw-r--r-- 2235 bytes
• solutions_02_The_Existential_Quantifier.lean -rw-r--r-- 1811 bytes
• solutions_02_The_Existential_Quantifier.olean -rw-r--r-- 1656 bytes
• solutions_03_Negation.lean -rw-r--r-- 2200 bytes
• solutions_03_Negation.olean -rw-r--r-- 1226 bytes
• solutions_04_Conjunction_and_Bi-implication.lean -rw-r--r-- 1841 bytes
• solutions_04_Conjunction_and_Bi-implication.olean -rw-r--r-- 6033 bytes
• solutions_05_Disjunction.lean -rw-r--r-- 3175 bytes
• solutions_05_Disjunction.olean -rw-r--r-- 15785 bytes
• solutions_06_Sequences_and_Convergence.lean -rw-r--r-- 4258 bytes
• solutions_06_Sequences_and_Convergence.olean -rw-r--r-- 26302 bytes