LaTeXEqChecker - A framework for checking mathematical semantics in LaTeX documents
Felix PetersenPresented in the Special Session of the 11th Conference on Intelligent Computer Mathematics (CICM), 2018