Mathlingua

icon indicating an email [email protected]

icon location Mathlingua is a language designed to build an open, collaborative repository to record, communicate, and share mathematical knowledge

Results 2 repositories owned by Mathlingua

mathlingua

67
Stars
0
Forks
Watchers

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.

verified publisher icon mathlingua

mathlore-content

17
Stars
1
Forks
Watchers

A repository of mathematical knowledge written in the Mathlingua language.

verified publisher icon mathlingua