OAI/Combinatorics/KMedian/Machines/
245 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- AdviceInstances.lean 1 declarations
- AlphabetIndex.lean 25 declarations
- AlphabetSpec.lean 3 declarations
- AlphabetTable.lean 10 declarations
- BinaryReindex.lean 4 declarations
- BlendCompiler.lean 2 declarations
- BlendSpec.lean 1 declarations
- BlockRotation.lean 2 declarations
- Box.lean 12 declarations
- CSPTableBounds.lean 7 declarations
- CardBounds.lean 1 declarations
- CutLaws.lean 4 declarations
- FiniteBoundaryPrograms.lean 2 declarations
- FiniteCases.lean 2 declarations
- FiniteCompiler.lean 4 declarations
- FiniteCoordinates.lean 4 declarations
- FiniteFilterProgram.lean 5 declarations
- FixedImpossible.lean 5 declarations
- GridTables.lean 9 declarations
- Hardcoded.lean 5 declarations
- Iteration.lean 15 declarations
- IterationPolynomial.lean 3 declarations
- ListAllProgram.lean 1 declarations
- ListCompiler.lean 2 declarations
- LocalCompiler.lean 12 declarations
- LocalSpec.lean 4 declarations
- MatchingLaws.lean 4 declarations
- MatchingSpec.lean 7 declarations
- Ordered.lean 9 declarations
- OrderedLists.lean 5 declarations
- RawCSP.lean 13 declarations
- RawRotation.lean 9 declarations
- RawSquare.lean 7 declarations
- RawWalk.lean 8 declarations
- RectTables.lean 3 declarations
- RelabelTables.lean 3 declarations
- RotationBounds.lean 7 declarations
- RotationExt.lean 4 declarations
- TableBuilders.lean 3 declarations
- TableCounts.lean 5 declarations
- TablePromises.lean 3 declarations
- UnaryPolynomial.lean 5 declarations
- VertexMap.lean 5 declarations