Properly support tagging
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Activo
- Stack tecnológico
- latex
- Área
- accessibility
Línea de trabajo
Comienza con fitch.sty y el issue 1485 de tagging-project, y después revisa el commit a90efaa20186480fd3b1e7c7b79627216cc34daf para entender el cambio de alineación existente. Espera a que el framework de tagging se estabilice y esté documentado antes de definir la implementación. La tarea estará terminada cuando fitchproof produzca una estructura de tagging utilizable sin caracteres Unicode desconocidos procedentes de sus líneas de scope.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
fitch.sty is marked as incompatible with tagging (https://github.com/latex3/tagging-project/issues/1485). The main issue was that fitchproof used a list environment to control the alignment; and that's been changed to flushleft (commit a90efaa20186480fd3b1e7c7b79627216cc34daf). So now a fitchproof doesn't create a wrong tagging structure (a table inside a list with one item) but something better.
That doesn't mean that fitchproofs now are properly tagged when tagging is on. The scope lines are coded as \rules and produce unknown Unicode characters in the tagging structure. More has to be done to do this properly, but it has to wait until the tagging framework is more stable (and documented).
To produce an actually accessible document (i.e., something a low vision reader can actually use with a screen reader) the best option is (and I suspect will remain) conversion to HTML, as done, e.g., for https://github.com/rzach/forallx-yyc. See https://richardzach.org/2023/07/converting-latex-to-html-technical-notes/ for what's required/been done for forallx. (I used LaTeXML to produce HTML for Fitch proofs with added structural descriptions as described in https://forallx.openlogicproject.org/html/A4.html#S0.SS0.SSS0.Px3)
- Lenguaje dominante
- TeX
- Estrellas
- 20
- Forks
- 5
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de OpenLogicProject/fitch
-
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
OpenLogicProject/fitch#13 ·
Todos los issues de OpenLogicProject/fitch
Issues similares
-
accessibility good first issue ux
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
danielgraviet/concrete#63 ·
Los mantenedores suelen responder en 1 día
-
area:docs good first issue
Dificultad 2/5 Medio día Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
area: site bug good first issue severity: low source: review-2026-09 wave: 4
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
spartan-ng/spartan#1794 ·
Los mantenedores suelen responder en 1 día
-
area: colors difficulty: easy enhancement good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
Los mantenedores suelen responder en 1 día