OAI/Combinatorics/IndependentSets/PCP/
1661 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- Addresses.lean 51 declarations
- AlphabetGraph.lean 38 declarations
- AlphabetGraphBounds.lean 22 declarations
- AlphabetReduction.lean 21 declarations
- AlphabetRetraction.lean 12 declarations
- Ambient.lean 32 declarations
- AmplificationIteration.lean 11 declarations
- AmplificationRound.lean 17 declarations
- AssignmentTester.lean 68 declarations
- Body.lean 22 declarations
- BoundedIteration.lean 6 declarations
- CircleRound.lean 10 declarations
- ClausePolynomial.lean 10 declarations
- ClauseVerifier.lean 44 declarations
- Cleanup.lean 18 declarations
- CloneGap.lean 35 declarations
- CodeComposition.lean 25 declarations
- CompareLoop.lean 17 declarations
- ConstraintGraph.lean 12 declarations
- Driver.lean 37 declarations
- EmitRows.lean 27 declarations
- Emitter.lean 40 declarations
- Enumeration.lean 72 declarations
- FinalBooleanVerifier.lean 35 declarations
- FinalCNF.lean 9 declarations
- FinalCNFPattern.lean 23 declarations
- FinalCNFTableAdapter.lean 28 declarations
- FinalCNFTemplate.lean 30 declarations
- Finish.lean 14 declarations
- Gap.lean 60 declarations
- GenericGraphTables.lean 67 declarations
- GeometryPointTable.lean 5 declarations
- GraphIterationBounds.lean 37 declarations
- GraphTables.lean 67 declarations
- InitialGraph.lean 42 declarations
- Input.lean 21 declarations
- LCTable.lean 24 declarations
- LabelCoverData.lean 48 declarations
- Lookup.lean 17 declarations
- LoopInitialization.lean 9 declarations
- Minimum.lean 23 declarations
- NameCompaction.lean 38 declarations
- PCPIteration.lean 27 declarations
- Queries.lean 34 declarations
- QueryIncidence.lean 40 declarations
- RawInitialTables.lean 35 declarations
- ReadRelation.lean 25 declarations
- Redirect.lean 22 declarations
- RoundGap.lean 25 declarations
- RoundTableGap.lean 10 declarations
- Semantics.lean 12 declarations
- Semantics2.lean 20 declarations
- Setup.lean 11 declarations
- TableIteration.lean 26 declarations
- TargetLC.lean 12 declarations
- VerifierCNF.lean 86 declarations
- VertexPadding.lean 32 declarations