leanprover/subverso
Ver en GitHub- Estrellas
- 8
- Forks
- 14
- Issues abiertos para principiantes
- 0
- Issues indexados
- 4
- Merge medio
- 14 h 54 min
- PR fusionados (30 d)
- 5
- Lenguaje dominante
- Lean
- Licencia
- Apache-2.0
- Último push a GitHub
- 16/9/2026
- Última indexación
- 20/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
4 issues abiertos indexados
Cargando issues
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
leanprover/subverso#240 ·
-
Builds failing with Lean nightly Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
leanprover/subverso#205 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
leanprover/subverso#29 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
leanprover/subverso#9 ·