anthropics / anthropics/fermats-last-theorem
Not
Ouverte
- Langage dominant
- Lean
- Étoiles
- 1.2k
- Forks
- 96
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
Cette issue n'a pas de description.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Piste de recherche
The issue provides no description, files, tests, or entry points to investigate. Ask for the intended change and an objective definition of done before starting work.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Domaine
- tooling
- Type d'issue
- Fonctionnalité
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- Active
- Clarté
- À clarifier
- Accessibilité débutants
- 5/100