`OAI/Combinatorics/ContingencyTables/`

11686 declarations, 0 contain sorry, 0 declared as axioms; 1117 files

Folders

Counting/ 206 files, 2639 declarations
Dense/ 115 files, 1043 declarations
Machines/ 127 files, 1890 declarations
Rooted/ 169 files, 1984 declarations
Sampling/ 246 files, 2149 declarations
Transport/ 247 files, 1916 declarations

Files

AlgorithmStatements.lean 17 declarations
FactorialLift.lean 22 declarations
Main.lean 2 imports, no declarations
Model.lean 13 declarations
Parameters.lean 4 declarations
PublishedInputs.lean 6 declarations
UnconditionalMain.lean 3 declarations