`OAI/Computability/BinPacking/Expanders/`

364 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

ExpanderTableEnumeration.lean 186 declarations
LazySmoothing.lean 27 declarations
PreprocessingTableSpectral.lean 12 declarations
SpectralCut.lean 110 declarations
ZigzagSpectral.lean 29 declarations