`OAI/Combinatorics/KMedianRecovery/`

9213 declarations, 0 contain sorry, 0 declared as axioms; 522 files

Folders

Algorithms/ 30 files, 499 declarations
Branching/ 62 files, 1085 declarations
Encoding/ 53 files, 968 declarations
Geometry/ 33 files, 439 declarations
Machines/ 39 files, 961 declarations
Recovery/ 234 files, 4350 declarations
Refined/ 16 files, 224 declarations
Sampling/ 29 files, 464 declarations
Strictness/ 24 files, 203 declarations

Files

Main.lean 1 declarations
Model.lean 19 declarations