MIL/C06_Discrete_Mathematics/solutions/
23 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Solutions_S01_Finsets_and_Fintypes.lean 4 imports, no declarations
- Solutions_S02_Counting_Arguments.lean 5 declarations
- Solutions_S03_Inductive_Structures.lean 18 declarations