/plastex

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

Primary LanguagePythonOtherNOASSERTION