OAI/Computability/BinPacking/Trees/
392 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- CompetingTrees.lean 2 declarations
- CompletionGeometry.lean 66 declarations
- IntegerTreeGeometry.lean 108 declarations
- InventoryFromTrees.lean 5 declarations
- InventoryRowGeometry.lean 10 declarations
- KeyGeometry.lean 11 declarations
- TestGeometry.lean 47 declarations
- TreeAttachment.lean 17 declarations
- TreeAvoidance.lean 9 declarations
- TreeColorCounts.lean 83 declarations
- TreePruning.lean 34 declarations