Mathlingua is a language for easily creating a collection of mathematical knowledge, including definitions, theorems, axioms, and conjectures, in a format designed to be easy and fun to read and write. For more information, see mathlingua.org.
The mlg executable is self-contained. In particular, mlg view and
mlg export do not require Node.js or npm to be installed. Node.js is needed
only by contributors changing the viewer frontend under web/.