1. 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.
2. codex
A repository of mathematical knowledge written in the MathLingua language.
1-2 of 2 user projects