PrototypeCommon
teorth/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
- Owner
- teorth (personal account)
- Stars
- Stars: 246
- Forks
- Forks: 57
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by teorth
All 7 repos by teorth- teorth/analysisStars: 1,979LeanBeta
- teorth/erdosproblemsStars: 878PythonBeta
- teorth/equational_theoriesStars: 564LeanAlpha
- teorth/optimizationproblemsStars: 387PythonAlpha
- teorth/estimatesStars: 343JavaScriptAlpha
- teorth/QEDStars: 127Prototype
Nearby in Lean
All Lean repos- mit-pdos/perennialStars: 253LeanAlpha
- leanprover/comparatorStars: 247LeanPrototype
- leanprover-community/iris-leanStars: 246LeanPrototype
- Pengbinghui/pipeline-mathStars: 243LeanPrototype
- leanprover-community/replStars: 237LeanPrototype
- leanprover-community/ProofWidgets4Stars: 231LeanPrototype