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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool