anthropics/formal-math
Voir sur GitHub- Étoiles
- 239
- Forks
- 46
- Issues débutants ouvertes
- 0
- Issues indexées
- 9
- Merge moyen
- 1 j 19 h
- PR mergées (30 j)
- 7
- Langage dominant
- Lean
- Licence
- Apache-2.0
- Dernier push GitHub
- 5/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é
-
Suggested references (Özlük 1996, CLLR 2014): the family-side analogue of H(λ) reaches 11/12 Ouverte
anthropics/formal-math#5 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/formal-math#7 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
anthropics/formal-math#8 · 1 commentaire · 1 réaction · 0 personnes assignées ·
-
anthropics/formal-math#9 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/formal-math#10 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/formal-math#14 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
question 54 Ouverte
anthropics/formal-math#16 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
anthropics/formal-math#25 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Share prompt Ouverte
anthropics/formal-math#26 · 0 commentaires · 0 réactions · 0 personnes assignées ·