OAI/Combinatorics/KMedian/
7180 declarations, 0 contain sorry, 0 declared as axioms; 765 files
Folders
- Amplification/ 35 files, 335 declarations
- Analysis/ 17 files, 348 declarations
- Binary/ 55 files, 779 declarations
- Compression/ 44 files, 332 declarations
- CookLevin/ 26 files, 304 declarations
- Expanders/ 29 files, 388 declarations
- Geometry/ 48 files, 295 declarations
- Hardness/ 20 files, 377 declarations
- Machines/ 43 files, 245 declarations
- Optimization/ 35 files, 365 declarations
- PCP/ 14 files, 218 declarations
- Preparation/ 48 files, 296 declarations
- Probability/ 26 files, 195 declarations
- Process/ 89 files, 802 declarations
- Programs/ 38 files, 537 declarations
- Projection/ 28 files, 254 declarations
- Reduction/ 28 files, 223 declarations
- Rounding/ 52 files, 362 declarations
- Sparse/ 86 files, 496 declarations
Files
- Instance.lean 14 declarations
- Main.lean 4 declarations
- Model.lean 9 declarations
- Threshold.lean 2 declarations