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.
mathlingua / mathlingua Goto Github PK
View Code? Open in Web Editor NEWMathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
Home Page: http://www.mathlingua.org
License: Apache License 2.0