`OAI/Computability/BinPacking/`

17503 declarations, 0 contain sorry, 0 declared as axioms; 284 files

Folders

Arithmetic/ 12 files, 660 declarations
Computation/ 46 files, 4281 declarations
Configurations/ 5 files, 86 declarations
CookLevin/ 27 files, 2340 declarations
Expanders/ 5 files, 364 declarations
Games/ 9 files, 466 declarations
Hardness/ 4 files, 199 declarations
Information/ 10 files, 863 declarations
Inventory/ 13 files, 550 declarations
Machines/ 25 files, 1166 declarations
PCP/ 49 files, 3106 declarations
Packing/ 24 files, 960 declarations
Reductions/ 18 files, 622 declarations
Results/ 6 files, 19 declarations
Search/ 18 files, 1354 declarations
Trees/ 11 files, 392 declarations

Files

Main.lean 1 declarations
Model.lean 74 declarations