OAI/Computability/VertexCover/Machines/
1098 declarations, 0 contain sorry, 0 declared as axioms; 85 files
Files
- Address.lean 6 declarations
- Alphabet.lean 5 declarations
- AlphabetCorrect.lean 6 declarations
- AlphabetFrame.lean 22 declarations
- AlphabetRow.lean 8 declarations
- Approximation.lean 7 declarations
- BinaryOutput.lean 13 declarations
- BoundedBinary.lean 10 declarations
- Cardinal.lean 12 declarations
- Cloud.lean 15 declarations
- CloudFamily.lean 7 declarations
- CloudIndex.lean 15 declarations
- Codec.lean 2 declarations
- Composition.lean 51 declarations
- DenseParse.lean 26 declarations
- DescriptorMath.lean 17 declarations
- ExpanderBound.lean 10 declarations
- ExpanderCorrect.lean 10 declarations
- ExpanderFamily.lean 10 declarations
- ExpanderStep.lean 12 declarations
- FinCode.lean 4 declarations
- FinalCNF.lean 21 declarations
- FinalCNFBase.lean 18 declarations
- FinalCNFCorrect.lean 6 declarations
- FiniteFunction.lean 5 declarations
- FiniteMemory.lean 14 declarations
- FixedOps.lean 7 declarations
- Generic.lean 19 declarations
- GraphConstraint.lean 10 declarations
- GraphDescriptor.lean 9 declarations
- GraphFrame.lean 26 declarations
- GraphNumber.lean 22 declarations
- GraphOutput.lean 11 declarations
- InitialCorrect.lean 13 declarations
- InitialTable.lean 15 declarations
- Iteration.lean 10 declarations
- LCData.lean 26 declarations
- LCNumber.lean 10 declarations
- Lazy.lean 8 declarations
- ListFilter.lean 6 declarations
- ListGrowing.lean 8 declarations
- ListIndex.lean 5 declarations
- ListMore.lean 11 declarations
- ListNat.lean 16 declarations
- ListParam.lean 10 declarations
- ListSearch.lean 10 declarations
- Lists.lean 25 declarations
- Loop.lean 49 declarations
- LoopFrom.lean 2 declarations
- NatDiv.lean 11 declarations
- NatLog.lean 8 declarations
- NatPath.lean 9 declarations
- NatWalk.lean 17 declarations
- Naturals.lean 19 declarations
- NormRepresentation.lean 2 declarations
- NumberedGraph.lean 6 declarations
- Option.lean 6 declarations
- Overlay.lean 18 declarations
- Padding.lean 10 declarations
- Pair.lean 46 declarations
- ParseClause.lean 11 declarations
- ParseFormula.lean 21 declarations
- ParseFrame.lean 13 declarations
- ParseName.lean 8 declarations
- ParseSize.lean 6 declarations
- Path.lean 2 declarations
- PortBuilder.lean 2 declarations
- PortCode.lean 18 declarations
- Power.lean 4 declarations
- PowerLC.lean 7 declarations
- PowerRow.lean 9 declarations
- Preprocess.lean 6 declarations
- Primitive.lean 30 declarations
- Primitives.lean 18 declarations
- Profile.lean 17 declarations
- ProfileCompat.lean 7 declarations
- ProfileSlot.lean 11 declarations
- Regular.lean 16 declarations
- RegularRow.lean 9 declarations
- Round.lean 2 declarations
- Serialization.lean 12 declarations
- SimpleLC.lean 17 declarations
- TableBase.lean 20 declarations
- TableCodeBound.lean 6 declarations
- Walk.lean 14 declarations