OAI/Combinatorics/KMedian/CookLevin/
304 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- CookAmplify.lean 9 declarations
- CookBoundaryProgram.lean 13 declarations
- CookBox.lean 7 declarations
- CookClockProgram.lean 11 declarations
- CookLevin.lean 15 declarations
- CookSize.lean 16 declarations
- CookTable.lean 12 declarations
- FiniteConstraints.lean 12 declarations
- InitialAlphabet.lean 13 declarations
- InitialSize.lean 1 declarations
- InitialTable.lean 12 declarations
- SeedInput.lean 10 declarations
- SemanticProjection.lean 8 declarations
- TM2Locality.lean 12 declarations
- TM2Response.lean 17 declarations
- TableauBoundary.lean 12 declarations
- TableauCorrect.lean 6 declarations
- TableauDirectories.lean 25 declarations
- TableauDirectoryProgram.lean 10 declarations
- TableauEndpoints.lean 3 declarations
- TableauLocal.lean 10 declarations
- TableauQueryProgram.lean 7 declarations
- TableauRelationProgram.lean 11 declarations
- TableauRows.lean 11 declarations
- TableauRun.lean 11 declarations
- TableauSystem.lean 30 declarations