KnowTeX: Visualizing Mathematical Dependencies
KnowTeX is presented, a standalone Python tool that extracts dependency graphs directly from LaTeX sources without requiring any external framework and how it complements recent tools such as LeanArchitect, which operates from the Lean side, while KnowTeX works entirely on the LaTeX side without requiring any formaliza...
Elif Üsküplü, Lawrence S. Moss, Valeria Correa Vaz de Paiva
· arXiv.org · 0 citations