larsmennen/extract_from_tex
Small command-line Python application to extract theorems, definitions, lemmas, etc. from a LaTeX file (by using regular expressions) and write them to a CSV file.
PythonMIT
Small command-line Python application to extract theorems, definitions, lemmas, etc. from a LaTeX file (by using regular expressions) and write them to a CSV file.
PythonMIT