/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.

Primary LanguagePythonMIT LicenseMIT

Watchers