获取 latex 文档结构的库

Question

我正在寻找一个返回乳胶文档结构（可能是 OO）的库。

例如

• 第1章
  • 第 1.1 节
    • 定义 1
    • 引理 2
      • 參考...
  • 第 1.2 节
    • 定义 3
    • 引理 4
      • 参考引理 2

我的目标是通过一系列例行检查来

• （*）没有提及尚未定义的概念和/或已证明的引理
• 我可以将某个部分移到另一个章节，或者将引理移到另一个章节，而不会违反 (*)
• 麻生太郎

该工具还应该能够对更多相互引用的书籍执行此工作。我开始实施它，但工作量太大，因为所需的信息分散在*.tex和*.aux的文件之间。

编程语言 c++、python、java、go 或类似的都不错。

标签：一套，luatex因为我正在使用它并且没有找到更好的。