PrototypeCommune
teorth/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
- Propriétaire
- teorth (compte personnel)
- Étoiles
- Étoiles : 246
- Forks
- Forks : 57
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de teorth
Les 7 dépôts de teorth- teorth/analysisÉtoiles : 1 979LeanBêta
- teorth/erdosproblemsÉtoiles : 879PythonBêta
- teorth/equational_theoriesÉtoiles : 563LeanAlpha
- teorth/optimizationproblemsÉtoiles : 387PythonAlpha
- teorth/estimatesÉtoiles : 343JavaScriptAlpha
- teorth/QEDÉtoiles : 127Prototype
D’autres dépôts Lean
Tous les dépôts Lean- dwrensha/compfilesÉtoiles : 255LeanAlpha
- mit-pdos/perennialÉtoiles : 253LeanAlpha
- leanprover/comparatorÉtoiles : 247LeanPrototype
- leanprover-community/iris-leanÉtoiles : 245LeanPrototype
- Pengbinghui/pipeline-mathÉtoiles : 243LeanPrototype
- leanprover-community/replÉtoiles : 237LeanPrototype