PaperFormalizer · Formalized papers
Formalized papers
A uniform influence bound for hypergraph properties
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiUniformInfluenceHypergraph/Basic.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/Block.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/Capture.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/Fourier.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/LargeN.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/LowDegree.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/NoiseBasics.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/NoiseOperator.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/NoiseTensorization.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/Restriction.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/RussoMargulis.lean
Papers/OaiUniformInfluenceHypergraph/Helpers/SupportDegree.lean
Papers/OaiUniformInfluenceHypergraph/Helpers.lean
Papers/OaiUniformInfluenceHypergraph/Main.lean
Papers/OaiUniformInfluenceHypergraph/TCorThreshold.lean
Papers/OaiUniformInfluenceHypergraph/TMain.lean
Papers/OaiUniformInfluenceHypergraph.lean
Papers.lean
README.md
built-against.json
lakefile.toml
lean-toolchain