OAI/Combinatorics/MatchingCount/Machines/
1261 declarations, 0 contain sorry, 0 declared as axioms; 99 files
Files
- BoolPostCompiler.lean 11 declarations
- CoinTM1.lean 11 declarations
- CoinTM1Finite.lean 7 declarations
- FiniteStore.lean 8 declarations
- OnlineBounds.lean 5 declarations
- OnlineCase.lean 6 declarations
- OnlineControl.lean 17 declarations
- OnlineFold.lean 5 declarations
- OnlineFrame.lean 6 declarations
- OnlinePhysicalProgram.lean 5 declarations
- OnlineTraverse.lean 7 declarations
- OnlineTree.lean 10 declarations
- OnlineUniform.lean 10 declarations
- PhysicalPost.lean 19 declarations
- PhysicalProcess.lean 5 declarations
- PhysicalProgram.lean 16 declarations
- PhysicalProgramMap.lean 3 declarations
- PhysicalProgramSeal.lean 4 declarations
- PhysicalRestriction.lean 7 declarations
- PhysicalSequential.lean 15 declarations
- ProgramComposition.lean 11 declarations
- RegisterControl.lean 13 declarations
- RegisterProc.lean 27 declarations
- RegisterStructured.lean 11 declarations
- RegisterTree.lean 33 declarations
- SupportedCompiler.lean 8 declarations
- TableLookup.lean 19 declarations
- TreeBindings.lean 18 declarations
- TreeBottleneck.lean 47 declarations
- TreeBottleneckCorrect.lean 17 declarations
- TreeBuild.lean 14 declarations
- TreeCanonical.lean 23 declarations
- TreeCappedAssembly.lean 20 declarations
- TreeCertify.lean 5 declarations
- TreeChoice.lean 5 declarations
- TreeClippedCorrect.lean 10 declarations
- TreeClippedRun.lean 15 declarations
- TreeClosureReindex.lean 4 declarations
- TreeColex.lean 6 declarations
- TreeColor.lean 15 declarations
- TreeColorRaw.lean 4 declarations
- TreeColoredIndex.lean 5 declarations
- TreeCompiler.lean 12 declarations
- TreeEnumeration.lean 6 declarations
- TreeFastChoose.lean 3 declarations
- TreeFastLookup.lean 8 declarations
- TreeFinite.lean 23 declarations
- TreeFiniteCollections.lean 12 declarations
- TreeFiniteOps.lean 20 declarations
- TreeFold.lean 10 declarations
- TreeFrame.lean 11 declarations
- TreeFunction.lean 29 declarations
- TreeGuideTables.lean 16 declarations
- TreeHistorySize.lean 3 declarations
- TreeIndex.lean 9 declarations
- TreeInitial.lean 12 declarations
- TreeLabelCorrect.lean 8 declarations
- TreeLabelTable.lean 14 declarations
- TreeLanguage.lean 14 declarations
- TreeList.lean 13 declarations
- TreeListMore.lean 12 declarations
- TreeListOps.lean 16 declarations
- TreeLookup.lean 24 declarations
- TreeMachine.lean 18 declarations
- TreeMarkTable.lean 20 declarations
- TreeMatrix.lean 12 declarations
- TreeMetadata.lean 6 declarations
- TreeNaturalComb.lean 10 declarations
- TreeNumberedSets.lean 4 declarations
- TreeOrderedTransport.lean 6 declarations
- TreePairProposal.lean 31 declarations
- TreeParentTable.lean 18 declarations
- TreePartialChoice.lean 5 declarations
- TreePhantom.lean 19 declarations
- TreePortion.lean 14 declarations
- TreePostRealization.lean 13 declarations
- TreePredicate.lean 9 declarations
- TreeProgramUnique.lean 5 declarations
- TreeQuad.lean 15 declarations
- TreeQuadDistinct.lean 4 declarations
- TreeRationalWeight.lean 10 declarations
- TreeReach.lean 16 declarations
- TreeReachCorrect.lean 5 declarations
- TreeRefresh.lean 7 declarations
- TreeRefreshCatalog.lean 13 declarations
- TreeRefreshIndexed.lean 25 declarations
- TreeRefreshNumbered.lean 15 declarations
- TreeRefreshTables.lean 14 declarations
- TreeRepeat.lean 15 declarations
- TreeScaleStateUpdate.lean 3 declarations
- TreeSlotIndex.lean 8 declarations
- TreeSlotWeight.lean 20 declarations
- TreeStart.lean 17 declarations
- TreeStateTable.lean 14 declarations
- TreeSum.lean 18 declarations
- TreeTransfer.lean 23 declarations
- TreeTyped.lean 17 declarations
- TreeWeightTable.lean 7 declarations
- Wrapper.lean 23 declarations