PaperFormalizer · Formalized papers
Formalized papers
A Sharp Threshold Bound for Monotone Graph Properties
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiSharpThresholdMonotone/Basic.lean
Papers/OaiSharpThresholdMonotone/Helpers/BlockAverage.lean
Papers/OaiSharpThresholdMonotone/Helpers/BlockCapture.lean
Papers/OaiSharpThresholdMonotone/Helpers/Capture.lean
Papers/OaiSharpThresholdMonotone/Helpers/ConstantBounds.lean
Papers/OaiSharpThresholdMonotone/Helpers/Fourier.lean
Papers/OaiSharpThresholdMonotone/Helpers/LowDegree.lean
Papers/OaiSharpThresholdMonotone/Helpers/NoiseBasics.lean
Papers/OaiSharpThresholdMonotone/Helpers/NoiseOperator.lean
Papers/OaiSharpThresholdMonotone/Helpers/NoiseTensorization.lean
Papers/OaiSharpThresholdMonotone/Helpers/OrbitCounting.lean
Papers/OaiSharpThresholdMonotone/Helpers/Restriction.lean
Papers/OaiSharpThresholdMonotone/Helpers/RussoMargulis.lean
Papers/OaiSharpThresholdMonotone/Helpers/SupportDegree.lean
Papers/OaiSharpThresholdMonotone/Helpers.lean
Papers/OaiSharpThresholdMonotone/Main.lean
Papers/OaiSharpThresholdMonotone/TThreshold.lean
Papers/OaiSharpThresholdMonotone/TVariance.lean
Papers/OaiSharpThresholdMonotone.lean
Papers.lean
README.md
built-against.json
lakefile.toml
lean-toolchain