anthropics/fermats-last-theorem
Voir sur GitHub- Étoiles
- 1.2k
- Forks
- 96
- Issues débutants ouvertes
- 0
- Issues indexées
- 8
- Langage dominant
- Lean
- Licence
- Apache-2.0
- Dernier push GitHub
- 3/9/2026
- Dernière indexation
- 13/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
Build Failure on aarch64 Ouverte
anthropics/fermats-last-theorem#8 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/fermats-last-theorem#1 · 1 commentaire · 13 réactions · 0 personnes assignées ·
-
I have found a bug in the proof Ouverte
anthropics/fermats-last-theorem#2 · 0 commentaires · 24 réactions · 0 personnes assignées ·
-
rename repository to 🧌 Ouverte
anthropics/fermats-last-theorem#3 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
見證歷史 Ouverte
anthropics/fermats-last-theorem#4 · 0 commentaires · 3 réactions · 0 personnes assignées ·
-
Not Ouverte
anthropics/fermats-last-theorem#5 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/fermats-last-theorem#6 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/fermats-last-theorem#7 · 0 commentaires · 0 réactions · 0 personnes assignées ·