Mathlingua

[email protected]

Mathlingua is a language designed to build an open, collaborative repository to record, communicate, and share mathematical knowledge