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.
Rust Updated about 2 hours ago 1 commits 71 stars
zeta-agent|Mirror: mathlingua/mathlingua (⭐71)
about 2 hours agoAbout
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.
Readme
71 stars
1 forks