PaperFormalizer · Formalized papers
Formalized papers
Graph Decompositions at the Integral Expectation Threshold
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiGraphDecompositionsIntegral/All.lean
Papers/OaiGraphDecompositionsIntegral/Basic.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyCover.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyCut.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyInside.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyOutside.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyParameters.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyPartitions.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyQuantities.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyRefine.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/AssemblyTransfer.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/BernoulliTests.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/BlockPartition.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/BoundedDegeneracy.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/Compression.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/Degeneracy.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeAdaptiveLayers.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeEmbeddingAssembly.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeHallLayer.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeHallProbability.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeLayerSequence.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeLayerSetup.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeLayers.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/DegreeNumerics.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/FiniteHoeffding.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/ForestSplitting.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/Hall.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/HighDegreeClosure.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/Hoeffding.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/QLower.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsBinomial.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsComponents.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsCopyCover.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsCounting.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsEmbedding.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsExtraction.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsFreshRows.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsHostRows.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsQuantities.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsSetup.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/StarsTrialBudget.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/Tests.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/ThresholdMonotonicity.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/Thresholds.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/TransferAmplification.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/TransferConcentration.lean
Papers/OaiGraphDecompositionsIntegral/Helpers/TransferEmbedding.lean
Papers/OaiGraphDecompositionsIntegral/Helpers.lean
Papers/OaiGraphDecompositionsIntegral/TDegreeEmbedding.lean
Papers/OaiGraphDecompositionsIntegral/TMain.lean
Papers/OaiGraphDecompositionsIntegral/TStars.lean
Papers/OaiGraphDecompositionsIntegral/TTransfer.lean
Papers/OaiGraphDecompositionsIntegral/TTypicalCover.lean
Papers/OaiGraphDecompositionsIntegral.lean
Papers.lean
README.md
Toolkit/Foundations/Probability/BiasedCube.lean
Toolkit.lean
built-against.json
lakefile.toml
lean-toolchain