AlphaPeu commune
google-deepmind/alphaproof-nexus-results
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
- Propriétaire
- google-deepmind (organisation)
- Étoiles
- Étoiles : 322
- Forks
- Forks : 30
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) 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 052C++Stable
- google-deepmind/deepmind-researchÉtoiles : 15 268Jupyter NotebookStable
- google-deepmind/alphafoldÉtoiles : 14 927PythonStable
- google-deepmind/sonnetÉtoiles : 9 975PythonStable
- google-deepmind/alphafold3Étoiles : 8 722PythonStable
- google-deepmind/pysc2Étoiles : 8 333PythonStable
D’autres dépôts Lean
Tous les dépôts Lean- Kha/electrolysisÉtoiles : 340LeanAlpha
- facebookresearch/atlas-leanÉtoiles : 329LeanAlpha
- math-inc/strongpntÉtoiles : 327LeanAlpha
- NyxFoundation/nyxisÉtoiles : 319LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookÉtoiles : 317LeanAlpha