1

I'm looking for a library that returns a structure (perhaps OO) of a latex document.

For instance

  • Chapter 1
    • Section 1.1
      • Definition 1
      • Lemma 2
        • Ref to ...
    • Section 1.2
      • Definition 3
      • Lemma 4
        • Ref to Lemma 2

My goal is a series of routines to check that

  • (*) there are no references to not yet defined concepts and/or proven lemmas
  • I can move a section to another chapter, or move a Lemma to another chapter without violating (*)
  • a.s.o.

The tool should be able to do the job also on more books referencing to each other. I started to implement it, but there is too much work, because the needed information are scattered between the *.tex's and the *.aux's files.

Programming languages c++, python, java, go or similar would be good.

Tags: A set luatex because i'm using it and I do not find anything better.

PeptideChain
  • 1,335

0 Answers0