`MIL/C03_Logic/`

234 declarations, 59 contain sorry, 0 declared as axioms; 12 files

Folders

solutions/ 6 files, 79 declarations

Files

S01_Implication_and_the_Universal_Quantifier.lean 31 declarations
S02_The_Existential_Quantifier.lean 30 declarations
S03_Negation.lean 28 declarations
S04_Conjunction_and_Iff.lean 31 declarations
S05_Disjunction.lean 23 declarations
S06_Sequences_and_Convergence.lean 12 declarations