anthropics / anthropics/fermats-last-theorem
I have found a bug in the proof
Aperta
- Lingua principale
- Lean
- Stelle
- 1.1k
- Fork
- 95
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
But this Github issue is too small to fit it
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.