OAI/Combinatorics/KMedian/PCP/
218 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AlphabetReduction.lean 26 declarations
- BinaryReduction.lean 20 declarations
- Boundary.lean 13 declarations
- FiniteTest.lean 21 declarations
- GlobalRegularization.lean 18 declarations
- Hadamard.lean 22 declarations
- Linearity.lean 19 declarations
- LocalReduction.lean 15 declarations
- PathTable.lean 5 declarations
- Quadratic.lean 13 declarations
- QuadraticEncoding.lean 16 declarations
- Queries.lean 17 declarations
- Tester.lean 7 declarations
- UniformProjection.lean 6 declarations