Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Peter Selinger's LaTeX macros for Fitch style natural deduction

¿Es OpenLogicProject/fitch apto para principiantes?

Hemos visto muy pocos pull requests recientes de colaboradores externos en OpenLogicProject/fitch 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
20
Forks
5
Issues abiertos para principiantes
0
Issues indexados
4
Lenguaje dominante
TeX
Licencia
Sin datos de licencia
Último push a GitHub
12/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
Métricas de merge de PR
Sin PR fusionados en 30 d

Cómo contribuir a OpenLogicProject/fitch

  1. 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.
  2. Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

  • Empty para structures before and after proofs
    Abierto

    Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

    OpenLogicProject/fitch#13 ·

  • Properly support tagging
    Abierto

    Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

    OpenLogicProject/fitch#11 · 1 comentario ·

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.