PaperFormalizer · Formalized papers
Formalized papers
A Capacity Criterion for Four-State Potts Reconstruction on Trees
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiCapacityCriterionState/Basic.lean
Papers/OaiCapacityCriterionState/Helpers/Attenuation.lean
Papers/OaiCapacityCriterionState/Helpers/Broadcast.lean
Papers/OaiCapacityCriterionState/Helpers/BroadcastCompanion.lean
Papers/OaiCapacityCriterionState/Helpers/BroadcastIdentification.lean
Papers/OaiCapacityCriterionState/Helpers/BroadcastPosterior.lean
Papers/OaiCapacityCriterionState/Helpers/CapacityLabels.lean
Papers/OaiCapacityCriterionState/Helpers/CitedGates.lean
Papers/OaiCapacityCriterionState/Helpers/CompanionBounds.lean
Papers/OaiCapacityCriterionState/Helpers/DependentProducts.lean
Papers/OaiCapacityCriterionState/Helpers/ExperimentGarbling.lean
Papers/OaiCapacityCriterionState/Helpers/FiniteExperiments.lean
Papers/OaiCapacityCriterionState/Helpers/Flow.lean
Papers/OaiCapacityCriterionState/Helpers/FlowBounds.lean
Papers/OaiCapacityCriterionState/Helpers/FlowPathAverages.lean
Papers/OaiCapacityCriterionState/Helpers/FlowPathLoss.lean
Papers/OaiCapacityCriterionState/Helpers/FlowProfileExperiments.lean
Papers/OaiCapacityCriterionState/Helpers/GarblingClosure.lean
Papers/OaiCapacityCriterionState/Helpers/Information.lean
Papers/OaiCapacityCriterionState/Helpers/InformationFlow.lean
Papers/OaiCapacityCriterionState/Helpers/LocalCoordinates.lean
Papers/OaiCapacityCriterionState/Helpers/LocalMoments.lean
Papers/OaiCapacityCriterionState/Helpers/PathLoss.lean
Papers/OaiCapacityCriterionState/Helpers/PosteriorLaws.lean
Papers/OaiCapacityCriterionState/Helpers/ProductMoments.lean
Papers/OaiCapacityCriterionState/Helpers/ProfileSurvival.lean
Papers/OaiCapacityCriterionState/Helpers/QuadraticSymmetry.lean
Papers/OaiCapacityCriterionState/Helpers/RecursiveTuning.lean
Papers/OaiCapacityCriterionState/Helpers/SmallLabels.lean
Papers/OaiCapacityCriterionState/Helpers/Subtrees.lean
Papers/OaiCapacityCriterionState/Helpers/ThirdSymmetry.lean
Papers/OaiCapacityCriterionState/Helpers/Trees.lean
Papers/OaiCapacityCriterionState/Helpers/TunedProducts.lean
Papers/OaiCapacityCriterionState/Helpers.lean
Papers/OaiCapacityCriterionState/TMain.lean
Papers/OaiCapacityCriterionState.lean
Papers.lean
README.md
lakefile.toml
lean-toolchain