OAI/Probability/SATComputability/
922 declarations, 0 contain sorry, 0 declared as axioms; 106 files
Files
- ActiveClauses.lean 9 declarations
- ActiveMaskCounts.lean 4 declarations
- ActiveProcess.lean 11 declarations
- ActualFreeMoment.lean 3 declarations
- ArithmeticConstructors.lean 17 declarations
- ArithmeticEnclosures.lean 22 declarations
- ArithmeticSyntax.lean 11 declarations
- AuxiliaryEnergy.lean 14 declarations
- BatchKilling.lean 5 declarations
- CandidateEncoding.lean 5 declarations
- CandidateEnergy.lean 3 declarations
- CandidateMasks.lean 5 declarations
- CandidateProbability.lean 7 declarations
- CandidateProcess.lean 13 declarations
- CandidateSurvival.lean 11 declarations
- CavityExpressions.lean 25 declarations
- CertificateSearch.lean 11 declarations
- ClassMasks.lean 11 declarations
- ClauseClasses.lean 11 declarations
- ClauseProcess.lean 6 declarations
- ClauseRestoration.lean 10 declarations
- CompiledTrials.lean 13 declarations
- DeletionEnergy.lean 6 declarations
- DeletionHistory.lean 17 declarations
- DeletionIncrement.lean 10 declarations
- DeletionMean.lean 2 declarations
- DeletionScaling.lean 4 declarations
- DiscreteDelay.lean 4 declarations
- DisorderEnumeration.lean 10 declarations
- DyadicBlocks.lean 12 declarations
- DyadicMoment.lean 12 declarations
- EffectiveLog.lean 12 declarations
- EffectiveSums.lean 2 declarations
- EffectiveTrialValues.lean 15 declarations
- ExchangeableBlocks.lean 3 declarations
- ExponentContinuity.lean 8 declarations
- FiniteEnumeration.lean 39 declarations
- FiniteProductPushforward.lean 4 declarations
- FinitePushforward.lean 4 declarations
- FiniteTrialEvaluation.lean 5 declarations
- GridBlockLaw.lean 3 declarations
- HierarchyBounds.lean 7 declarations
- HierarchyEncoding.lean 15 declarations
- HierarchyEvaluator.lean 7 declarations
- HierarchyExpectation.lean 5 declarations
- HierarchyProgram.lean 9 declarations
- HierarchySemantics.lean 4 declarations
- HierarchyTable.lean 14 declarations
- IncidentMasks.lean 11 declarations
- IncidentObstruction.lean 7 declarations
- IncidentRates.lean 9 declarations
- InterpolationInputs.lean 2 declarations
- InterpolationUpper.lean 38 declarations
- LowerBounds.lean 11 declarations
- LowerProgram.lean 6 declarations
- Main.lean 4 declarations
- MarkovOccupation.lean 7 declarations
- MaskDelay.lean 9 declarations
- MaskDeletionTimes.lean 12 declarations
- MaskLifetime.lean 8 declarations
- MaskPermutations.lean 12 declarations
- MeanSurvival.lean 6 declarations
- ObstructionMoment.lean 11 declarations
- PacketExpressions.lean 20 declarations
- PhysicalExpressions.lean 15 declarations
- PoissonBlockBound.lean 3 declarations
- PoissonCountBounds.lean 3 declarations
- PoissonCountProducts.lean 10 declarations
- PoissonCounts.lean 3 declarations
- PoissonEvaluation.lean 6 declarations
- PoissonGrid.lean 4 declarations
- PoissonKernel.lean 10 declarations
- PoissonKilling.lean 12 declarations
- PoissonMarks.lean 1 declarations
- PoissonMaskAggregation.lean 3 declarations
- PoissonMaskCounts.lean 10 declarations
- PoissonSATProbability.lean 3 declarations
- PoissonSemigroup.lean 5 declarations
- PressureSigns.lean 5 declarations
- PressureUpper.lean 3 declarations
- RationalExponents.lean 3 declarations
- RationalHierarchy.lean 9 declarations
- RationalWeights.lean 6 declarations
- RelaxedCandidates.lean 10 declarations
- RelaxedEnergy.lean 7 declarations
- RelaxedPressure.lean 10 declarations
- ReplacementEstimate.lean 3 declarations
- ReplicaPositivity.lean 3 declarations
- RestoredCandidates.lean 14 declarations
- RestoredProcessMoment.lean 4 declarations
- RootEnergy.lean 14 declarations
- SATModel.lean 18 declarations
- SATVariational.lean 7 declarations
- SignLaw.lean 7 declarations
- SignMoment.lean 3 declarations
- SubcriticalEnergy.lean 2 declarations
- SupercriticalEnergy.lean 4 declarations
- SupercriticalProbability.lean 4 declarations
- TrialCompleteness.lean 5 declarations
- TrialDescriptions.lean 12 declarations
- TrialDisorder.lean 6 declarations
- UniformDelayConstant.lean 4 declarations
- UniformFreeMoment.lean 5 declarations
- UpperCertificates.lean 13 declarations
- VariableDeletion.lean 7 declarations
- WeightedExpressions.lean 13 declarations