leanprover/lean4export
Ver en GitHubPlain-text declaration export for Lean 4
- Estrellas
- 40
- Forks
- 26
- Issues abiertos para principiantes
- 1
- Issues indexados
- 3
- Merge medio
- 51 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
3 issues abiertos indexados
Cargando issues
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
leanprover/lean4export#48 · 1 comentario ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
leanprover/lean4export#40 · 6 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
leanprover/lean4export#8 · 2 comentarios ·