• 01_Implication_and_the_Universal_Quantifier.lean -rw-r--r-- 4257 bytes
• 01_Implication_and_the_Universal_Quantifier.olean -rw-r--r-- 4971 bytes
• 02_The_Existential_Quantifier.lean -rw-r--r-- 3149 bytes
• 02_The_Existential_Quantifier.olean -rw-r--r-- 13973 bytes
• 03_Negation.lean -rw-r--r-- 2777 bytes
• 03_Negation.olean -rw-r--r-- 1226 bytes
• 04_Conjunction_and_Bi-implication.lean -rw-r--r-- 3248 bytes
• 04_Conjunction_and_Bi-implication.olean -rw-r--r-- 2111 bytes
• 05_Disjunction.lean -rw-r--r-- 1979 bytes
• 05_Disjunction.olean -rw-r--r-- 772 bytes
• 06_Sequences_and_Convergence.lean -rw-r--r-- 3005 bytes
• 06_Sequences_and_Convergence.olean -rw-r--r-- 17258 bytes
• solutions/ drwxrwxrwx 838 bytes