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.
Start with the language guide and the checked example collection. The precise references cover structural syntax, formulations, and type and operator resolution. Contributors can also read the architecture guide. The author-facing Mathlingua Reference is maintained as a separate collection.
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/.