LaTeXML

This will come in handy: a LaTeX to XML converter http://dlmf.nist.gov/LaTeXML/

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. Here is the 5 minute video.