`OAI/Combinatorics/MatchingCount/`

7367 declarations, 0 contain sorry, 0 declared as axioms; 415 files

Folders

Algorithm/ 64 files, 1125 declarations
Arithmetic/ 24 files, 427 declarations
Complexity/ 34 files, 360 declarations
Graphs/ 60 files, 1768 declarations
Machines/ 99 files, 1261 declarations
Probability/ 11 files, 288 declarations
Sampling/ 82 files, 1569 declarations
Tapes/ 39 files, 550 declarations

Files

Main.lean 1 declarations
Model.lean 18 declarations