depgraph:绘制数学定理的依赖图

用法 创建一个文件input.txt，其中包含您要读取的内容 定理环境（在定理下） 证明环境（在证明下） 标签（在“标签”下） 参考（在参考下） 要读取的文件，相对或绝对路径（在“文件”下） 辅助文件下的aux文件-这对使其能够知道定理数非常重要（因此，请首先编译LaTeX文件）。有关示例，请参见standard.tex。 在下面，我们将写出thm，证明，标签和ref来代表上面四个列表之一中的任何单词。 请注意，该程序无法读取“ \ input ...”，因此，如果您的文件main.tex输入ch1.tex，ch2.tex和ch3.tex，则应在下面列出ch1.tex，ch2.tex和ch3.tex。文件。 跑步 ./depgraph input.txt output.dot dot.exe -Tpdf output.dot > output.pdf 制作pdf。 （您必须