AlphaPeu commune
anthropics/formal-math
Pas de description.
- Propriétaire
- anthropics (organisation)
- Étoiles
- Étoiles : 449
- Forks
- Forks : 83
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de anthropics
Les 67 dépôts de anthropics- anthropics/skillsÉtoiles : 186 471PythonLTS
- anthropics/claude-codeÉtoiles : 154 204TypeScriptLTS
- anthropics/claude-cookbooksÉtoiles : 54 074Jupyter NotebookLTS
- anthropics/claude-plugins-officialÉtoiles : 45 757PythonLTS
- anthropics/financial-servicesÉtoiles : 40 977PythonLTS
- anthropics/prompt-eng-interactive-tutorialÉtoiles : 38 991Jupyter NotebookLTS
D’autres dépôts Lean
Tous les dépôts Lean- teorth/equational_theoriesÉtoiles : 563LeanAlpha
- lecopivo/SciLeanÉtoiles : 540LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 531LeanAlpha
- ByteDance-Seed/Seed-ProverÉtoiles : 442LeanAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
- PatrickMassot/GlimpseOfLeanÉtoiles : 428LeanAlpha