文件名称：depgraph:绘制数学定理的依赖图
文件大小：15KB
文件格式：ZIP
更新时间：2024-05-29 22:46:39
Haskell
用法 创建一个文件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。 （您必须
【文件预览】：
depgraph-master
----Test.hs(492B)
----DAGViz.hs(4KB)
----output.dot(242B)
----standard.txt(351B)
----IsabelleParser.hs(8KB)
----test1.tex(1KB)
----test(123B)
----README.md(3KB)
----dep(106B)
----Utilities.hs(4KB)
----test1.aux(1KB)
----ParseUtilities.hs(5KB)
----input.txt(201B)
----.gitignore(287B)
----LatexDepGraph.hs(10KB)