This will come in handy: a LaTeX to XML converter http://dlmf.nist.gov/LaTeXML/
Month: March 2015
The Open Logic Project: Talk at DASHLab
Nicole Wyatt and Richard Zach presented the project at the DASHLab Talks in January 2014 at the University of Calgary. […]