OAI/Computability/BinPacking/Hardness/
199 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- LiteralSlotGraph.lean 31 declarations
- LiteralSlotGraphComputation.lean 26 declarations
- LiteralSlotGraphEnumeration.lean 113 declarations
- PCPPackingGap.lean 29 declarations