leanprover-community/LeanProject
A template for blueprint-driven formalization projects in Lean.
¿Es leanprover-community/LeanProject apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en leanprover-community/LeanProject para saber con qué frecuencia se fusionan. Ahora mismo no hay ningún issue apto para principiantes abierto; la lista de abajo muestra los demás issues que tenemos de este repositorio.
- Estrellas
- 117
- Forks
- 18
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Merge medio
- 3 min
- PR fusionados (30 d)
- 2
- Lenguaje dominante
- Python
- Licencia
- Apache-2.0
- Último push a GitHub
- 2/10/2026
- Última indexación
- 18/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
Cómo contribuir a leanprover-community/LeanProject
- Lee primero la guía de contribución: explica cómo quieren los mantenedores que se propongan, prueben y revisen los cambios.
- Lee su código de conducta: se aplica a los issues y pull requests igual que al chat.
- Tus contribuciones se publicarán bajo la licencia Apache-2.0 del proyecto.
- Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.
Cargando issues
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
leanprover-community/LeanProject#30 · 3 comentarios ·