OAI/Combinatorics/MatchingCount/Sampling/
1569 declarations, 0 contain sorry, 0 declared as axioms; 82 files
Files
- AssignmentEquiv.lean 33 declarations
- Certify.lean 40 declarations
- ChosenChord.lean 31 declarations
- ClippedEnvelope.lean 5 declarations
- Component.lean 42 declarations
- ComponentOrder.lean 40 declarations
- Components.lean 41 declarations
- Corner.lean 65 declarations
- DPEnvelope.lean 13 declarations
- DiscreteLadderSteps.lean 19 declarations
- EndpointPair.lean 31 declarations
- Endpoints.lean 51 declarations
- Endpoints2.lean 17 declarations
- FiniteSampler.lean 0 declarations
- FiniteSampler2.lean 4 declarations
- FiniteSampler3.lean 0 declarations
- FiniteSampler4.lean 0 declarations
- IntervalPattern.lean 30 declarations
- LadderL.lean 9 declarations
- MarkBridge.lean 7 declarations
- MetropolisChoice.lean 37 declarations
- OnlineSample.lean 21 declarations
- PM.lean 42 declarations
- PairStep.lean 32 declarations
- Plan.lean 34 declarations
- RankOrder.lean 46 declarations
- Relabel.lean 13 declarations
- RelabelMarking.lean 7 declarations
- RelationDestinations.lean 40 declarations
- Sewn.lean 26 declarations
- Span.lean 20 declarations
- Sym2Order.lean 43 declarations
- TableMarking.lean 8 declarations
- Through.lean 33 declarations
- TierClamp.lean 32 declarations
- TreeCategorical.lean 21 declarations
- TreeCategoricalValues.lean 4 declarations
- TreeClippedDP.lean 37 declarations
- TreeDPCount.lean 12 declarations
- TreeDPCounts.lean 33 declarations
- TreeDPEntry.lean 16 declarations
- TreeDPProgram.lean 22 declarations
- TreeDPRepresentation.lean 17 declarations
- TreeFastDPEntry.lean 20 declarations
- TreeFastDescent.lean 20 declarations
- TreeFastSample.lean 9 declarations
- TreeFastUnit.lean 21 declarations
- TreeFastUnitCorrect.lean 4 declarations
- TreeIndexedPair.lean 34 declarations
- TreeIndexedPairCorrect.lean 14 declarations
- TreeIndexedPairPost.lean 5 declarations
- TreeIndexedPairResult.lean 2 declarations
- TreeIndexedPairUniform.lean 23 declarations
- TreeLadder.lean 7 declarations
- TreeLadderContext.lean 5 declarations
- TreeLadderIndexed.lean 19 declarations
- TreeLadderPost.lean 8 declarations
- TreeLocalSampler.lean 13 declarations
- TreeMarking.lean 11 declarations
- TreeNumericLadder.lean 24 declarations
- TreeNumericMarking.lean 12 declarations
- TreeOptions.lean 23 declarations
- TreeOptionsAccept.lean 8 declarations
- TreeOptionsFinite.lean 9 declarations
- TreeOptionsMaps.lean 5 declarations
- TreePairStep.lean 8 declarations
- TreePairTable.lean 5 declarations
- TreePrepareLadder.lean 25 declarations
- TreePrepared.lean 7 declarations
- TreePreparedMarked.lean 11 declarations
- TreePreparedTop.lean 2 declarations
- TreeProbe.lean 15 declarations
- TreeSamplerRows.lean 16 declarations
- TreeScan.lean 5 declarations
- TreeScanChoice.lean 13 declarations
- TreeScanRun.lean 9 declarations
- TreeUnitAssemble.lean 12 declarations
- TreeUnitBranch.lean 17 declarations
- TreeUnitCorrect.lean 2 declarations
- TreeUnitDraw.lean 11 declarations
- TreeUnitSampler.lean 14 declarations
- Underlying.lean 27 declarations