fitch.sty is marked as incompatible with tagging (latex3/tagging-project#1485). The main issue was that fitchproof used a list environment to control the alignment; and that's been changed to flushleft (commit a90efaa). 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)
fitch.styis marked as incompatible with tagging (latex3/tagging-project#1485). The main issue was thatfitchproofused alistenvironment to control the alignment; and that's been changed toflushleft(commit a90efaa). So now afitchproofdoesn'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)