mathlingua / mathlingua

Mathlingua 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.
69Updated last week

Alternatives and similar repositories for mathlingua:

Users that are interested in mathlingua are comparing it to the libraries listed below