如果这是重复的,请原谅我,我会删除它。请随意编辑此帖子和标签。
我正在寻找一个语法检查器(最好是免费的),用于 Latex 和 MathJax 等,允许将 TEX 代码直接复制并粘贴到其中。此检查器不需要在另一个 Latex 程序中输入代码。如有必要,它可以解析我在其中编写 Tex 代码的已保存 PDF 或记事本或 Word 文件。请告诉我这是否回答了“静态程序分析”的问题?
该程序将会披露并发出信号通知所有错误和问题。
计划是否有没有与 LaTeX 的 lint 相当的程序?适合上述情况吗?
答案1
如前所述,真正的 LaTeX(或任何其他 TeX 格式)语法检查器是绝对不可能由于TeX 的图灵完备性。但是,您可以找到最常见的错误lacheck
脚本,包含在您的 TeX 发行版中。