OAI/Combinatorics/ParityLifts/
1833 declarations, 0 contain sorry, 0 declared as axioms; 117 files
Files
- Arithmetic.lean 25 declarations
- AsymptoticBounds.lean 6 declarations
- BagTrees.lean 27 declarations
- BalancedBags.lean 16 declarations
- BaseLabels.lean 14 declarations
- BinaryArithmetic.lean 7 declarations
- BitGrouping.lean 11 declarations
- BitNormalize.lean 16 declarations
- BitPrograms.lean 15 declarations
- BitTables.lean 21 declarations
- BoolFold.lean 7 declarations
- BoundedSimulation.lean 10 declarations
- ChoiceExtraction.lean 3 declarations
- CodeErasure.lean 42 declarations
- ColorSpan.lean 19 declarations
- Compiler.lean 26 declarations
- CompilerBounds.lean 41 declarations
- DataPrograms.lean 21 declarations
- DecompositionCuts.lean 17 declarations
- Degree.lean 18 declarations
- DegreeBits.lean 6 declarations
- DegreeForm.lean 3 declarations
- DegreeGraph.lean 26 declarations
- Detection.lean 41 declarations
- Evaluation.lean 4 declarations
- ExpBounds.lean 12 declarations
- FixedBridge.lean 5 declarations
- FixedETH.lean 2 declarations
- FlowerPrograms.lean 11 declarations
- FlowerSearch.lean 12 declarations
- Flowers.lean 12 declarations
- FunctionalCode.lean 14 declarations
- FunctionalCompile.lean 21 declarations
- GlueTrees.lean 13 declarations
- GlueVertices.lean 32 declarations
- GraphIso.lean 11 declarations
- GraphOutput.lean 9 declarations
- GraphPrograms.lean 19 declarations
- Interpolation.lean 9 declarations
- LeafBounds.lean 7 declarations
- LeafCounts.lean 6 declarations
- LeafMachine.lean 10 declarations
- LeafProducer.lean 12 declarations
- LeafRate.lean 8 declarations
- LiftCounts.lean 24 declarations
- ListPrograms.lean 16 declarations
- Machines.lean 23 declarations
- Main.lean 8 declarations
- Masses.lean 18 declarations
- Model.lean 37 declarations
- ParamTables.lean 10 declarations
- ParamTags.lean 6 declarations
- ParameterBounds.lean 3 declarations
- ParameterLoops.lean 6 declarations
- ParameterPolynomial.lean 5 declarations
- Parser.lean 21 declarations
- Polynomial.lean 32 declarations
- PolynomialLists.lean 5 declarations
- ProgramLoops.lean 15 declarations
- PureComponents.lean 21 declarations
- RaceBounds.lean 3 declarations
- RaceLoop.lean 10 declarations
- RaceStage.lean 16 declarations
- RankedTrees.lean 14 declarations
- RealEval.lean 9 declarations
- ReducedCNF.lean 38 declarations
- Rerooting.lean 14 declarations
- RootedTests.lean 15 declarations
- SAT.lean 53 declarations
- SATChoice.lean 39 declarations
- SATRates.lean 6 declarations
- SetLists.lean 21 declarations
- SetPrograms.lean 14 declarations
- Simulation.lean 27 declarations
- Simulator.lean 34 declarations
- SparseBounds.lean 12 declarations
- SparseCertificate.lean 6 declarations
- SparseEncoding.lean 10 declarations
- SparseMachine.lean 19 declarations
- SparsePost.lean 8 declarations
- SparseRates.lean 10 declarations
- SparseStates.lean 20 declarations
- SparseStep.lean 9 declarations
- SparseTree.lean 9 declarations
- StackMachine.lean 34 declarations
- StackRoutines.lean 31 declarations
- TableGraphs.lean 40 declarations
- TagSizes.lean 28 declarations
- TestAlgebra.lean 20 declarations
- TreeMachine.lean 41 declarations
- TreePrograms.lean 45 declarations
- TreeRoutines.lean 17 declarations
- TreeWords.lean 24 declarations
- UniformBasics.lean 7 declarations
- UniformBridge.lean 1 declarations
- UniformCompose.lean 1 declarations
- UniformDFS.lean 14 declarations
- UniformData.lean 14 declarations
- UniformETH.lean 1 declarations
- UniformFlower.lean 4 declarations
- UniformGraphs.lean 15 declarations
- UniformHeaders.lean 7 declarations
- UniformLeaf.lean 13 declarations
- UniformMachine.lean 8 declarations
- UniformNormalization.lean 1 declarations
- UniformOutput.lean 7 declarations
- UniformPost.lean 10 declarations
- UniformRate.lean 6 declarations
- UniformRates.lean 1 declarations
- UniformRoles.lean 18 declarations
- UniformTables.lean 12 declarations
- UniformTags.lean 22 declarations
- UniformTrial.lean 2 declarations
- UniformVertices.lean 18 declarations
- WeightedDual.lean 16 declarations
- Witnesses.lean 10 declarations
- Words.lean 12 declarations