OAI/Combinatorics/KMedianRecovery/Refined/
224 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Bounds.lean 12 declarations
- ChargeBound.lean 17 declarations
- Charges.lean 22 declarations
- CheckedInput.lean 26 declarations
- Clusters.lean 24 declarations
- ConditionalRecovery.lean 8 declarations
- Endpoint.lean 33 declarations
- Main.lean 2 imports, no declarations
- Model.lean 21 declarations
- Progress.lean 7 declarations
- Recovery.lean 2 declarations
- Routes.lean 27 declarations
- State.lean 8 declarations
- StateWeight.lean 5 declarations
- ThresholdInput.lean 5 declarations
- Work.lean 7 declarations