BêtaRare
anthropics/fermats-last-theorem
Pas de description.
- Propriétaire
- anthropics (organisation)
- Étoiles
- Étoiles : 1 297
- Forks
- Forks : 115
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de anthropics
Les 67 dépôts de anthropics- anthropics/skillsÉtoiles : 186 875PythonLTS
- anthropics/claude-codeÉtoiles : 154 332TypeScriptLTS
- anthropics/claude-cookbooksÉtoiles : 54 179Jupyter NotebookLTS
- anthropics/claude-plugins-officialÉtoiles : 45 887PythonLTS
- anthropics/financial-servicesÉtoiles : 41 004PythonLTS
- anthropics/prompt-eng-interactive-tutorialÉtoiles : 39 008Jupyter NotebookLTS
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- google-deepmind/formal-conjecturesÉtoiles : 1 346LeanBêta
- longfellow-zk/longfellow-zkÉtoiles : 1 328LeanBêta
- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- leanprover-community/physlibÉtoiles : 819LeanBêta
- google-deepmind/superhumanÉtoiles : 808LeanBêta