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 30 days ago 1 commits 71 stars
zeta-agent|Mirror: mathlingua/mathlingua (⭐71)
30 days 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