BêtaRare
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- Propriétaire
- google-deepmind (organisation)
- Étoiles
- Étoiles : 1 343
- Forks
- Forks : 567
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Sujets
- formal-mathematicslean4
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de google-deepmind
Les 174 dépôts de google-deepmind- google-deepmind/mujocoÉtoiles : 16 026C++Stable
- google-deepmind/deepmind-researchÉtoiles : 15 264Jupyter NotebookStable
- google-deepmind/alphafoldÉtoiles : 14 921PythonStable
- google-deepmind/sonnetÉtoiles : 9 974PythonStable
- google-deepmind/alphafold3Étoiles : 8 710PythonStable
- google-deepmind/pysc2Étoiles : 8 330PythonStable
D’autres dépôts Lean
Tous les dépôts Lean- openai/NavierStokesAndEulerÉtoiles : 2 119LeanRC
- teorth/analysisÉtoiles : 1 979LeanBêta
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- longfellow-zk/longfellow-zkÉtoiles : 1 328LeanBêta
- anthropics/fermats-last-theoremÉtoiles : 1 295LeanBêta
- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta