AlphaUncommon
google-deepmind/alphaproof-nexus-results
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
- Owner
- google-deepmind (organization)
- Stars
- Stars: 322
- Forks
- Forks: 30
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by google-deepmind
All 174 repos by google-deepmind- google-deepmind/mujocoStars: 16,052C++Stable
- google-deepmind/deepmind-researchStars: 15,268Jupyter NotebookStable
- google-deepmind/alphafoldStars: 14,927PythonStable
- google-deepmind/sonnetStars: 9,975PythonStable
- google-deepmind/alphafold3Stars: 8,722PythonStable
- google-deepmind/pysc2Stars: 8,333PythonStable
Nearby in Lean
All Lean repos- Kha/electrolysisStars: 340LeanAlpha
- facebookresearch/atlas-leanStars: 329LeanAlpha
- math-inc/strongpntStars: 327LeanAlpha
- NyxFoundation/nyxisStars: 319LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 317LeanAlpha