BetaRare
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- Owner
- google-deepmind (organization)
- Stars
- Stars: 1,343
- Forks
- Forks: 567
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Topics
- formal-mathematicslean4
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by google-deepmind
All 174 repos by google-deepmind- google-deepmind/mujocoStars: 16,026C++Stable
- google-deepmind/deepmind-researchStars: 15,264Jupyter NotebookStable
- google-deepmind/alphafoldStars: 14,921PythonStable
- google-deepmind/sonnetStars: 9,974PythonStable
- google-deepmind/alphafold3Stars: 8,710PythonStable
- google-deepmind/pysc2Stars: 8,330PythonStable
Nearby in Lean
All Lean repos- openai/NavierStokesAndEulerStars: 2,119LeanRC
- teorth/analysisStars: 1,979LeanBeta
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- longfellow-zk/longfellow-zkStars: 1,328LeanBeta
- anthropics/fermats-last-theoremStars: 1,295LeanBeta
- ImperialCollegeLondon/FLTStars: 1,056LeanBeta