kassane/lean4-zig
Zig bindings for Lean4
¿Es kassane/lean4-zig apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en kassane/lean4-zig 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
- 13
- Forks
- 3
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Lenguaje dominante
- Zig
- Licencia
- Apache-2.0
- Último push a GitHub
- 18/1/2024
- Última indexación
- 18/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
- help wanted
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cómo contribuir a kassane/lean4-zig
- No hay guía de contribución, así que empieza por el README y por algunos pull requests fusionados hace poco para ver cómo se proponen los cambios.
- 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
-
Improvement FFIAbiertoenhancement help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100