OAI/Computability/MaxCut/Estimates/
734 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Anchor.lean 13 declarations
- Basic.lean 151 declarations
- Clip.lean 60 declarations
- CorrectSum.lean 19 declarations
- Degree.lean 45 declarations
- Density.lean 94 declarations
- Dictator.lean 38 declarations
- Divides.lean 14 declarations
- ListSum.lean 64 declarations
- Param.lean 18 declarations
- Put.lean 36 declarations
- Rename.lean 22 declarations
- Sample.lean 80 declarations
- Vec.lean 75 declarations
- VecEquivSymmVal.lean 5 declarations