MIL/C03_Logic/solutions/
79 declarations, 0 contain sorry, 0 declared as axioms; 6 files
Files
- Solutions_S01_Implication_and_the_Universal_Quantifier.lean 22 declarations
- Solutions_S02_The_Existential_Quantifier.lean 12 declarations
- Solutions_S03_Negation.lean 17 declarations
- Solutions_S04_Conjunction_and_Iff.lean 9 declarations
- Solutions_S05_Disjunction.lean 11 declarations
- Solutions_S06_Sequences_and_Convergence.lean 8 declarations