Michael Kohlhase and Dennis Müller - The STeX3 Package Collection

These guys have put together a system for type-checking LaTeX documents! They have a set of macros that allow you to extract semantic information from your LaTeX source files, and it has an IDE that runs in VS Code. See the 374 page manual at https://ctan.math.illinois.edu/macros/latex/contrib/stex/doc/stex-doc.pdf (the files are at https://ctan.math.illinois.edu/macros/latex/contrib/stex/)


 

 


Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023