anthropics/formal-math
Ver en GitHub- Estrellas
- 239
- Forks
- 46
- Issues abiertos para principiantes
- 0
- Issues indexados
- 9
- Merge medio
- 1 d 19 h
- PR fusionados (30 d)
- 7
- Lenguaje dominante
- Lean
- Licencia
- Apache-2.0
- Último push a GitHub
- 5/9/2026
- Última indexación
- 13/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
-
Suggested references (Özlük 1996, CLLR 2014): the family-side analogue of H(λ) reaches 11/12 Abierto
anthropics/formal-math#5 · 0 comentarios · 0 reacciones · 0 asignados ·
-
anthropics/formal-math#7 · 1 comentario · 0 reacciones · 0 asignados ·
-
anthropics/formal-math#8 · 1 comentario · 1 reacción · 0 asignados ·
-
anthropics/formal-math#9 · 2 comentarios · 0 reacciones · 0 asignados ·
-
anthropics/formal-math#10 · 0 comentarios · 0 reacciones · 0 asignados ·
-
anthropics/formal-math#14 · 0 comentarios · 0 reacciones · 0 asignados ·
-
question 54 Abierto
anthropics/formal-math#16 · 0 comentarios · 0 reacciones · 0 asignados ·
-
anthropics/formal-math#25 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Share prompt Abierto
anthropics/formal-math#26 · 0 comentarios · 0 reacciones · 0 asignados ·