Automatic LaTeX understanding (and more) based on https://przchojecki.github.io/deepalgebra/
The first step is to implement an enhanced semantic tagger which will annotate .tex files (from the Stacks Project). We start with a rule based approach to look for new definitions.
New mathematical concepts are TYPES. Particular realization of a given TYPE is a VARIABLE (VAR).
E.g. "Let
We use spaCy for semantic tagging.