MathLingua is a language designed to clearly and concisely describe mathematical knowledge (theorems, definitions, notes, exercises, books, and more) in a format that is easy for both people and computers to understand.
With MathLingua you can construct an interconnected collection of math knowledge that is always growing, expanding, and building on itself in the same way mathematics is always growing and expanding on itself.
To keep track of your math knowledge, you can create a private collection or contribute to/explore the public collection at Mathlore.org.
Just as natural languages allow you to express yourself in literary works, MathLingua allows you to clearly and concisely express mathematical knowledge.
For example, the following is the Second Fundamental Theorem of Calculus rendered from MathLingua code:
Here is the associated MathLingua code iteself:
To learn more following the links below.
Note: The MathLingua documentation is a work in progress. Check back often for updates.