GitHub repository: DominicKramer/mathlingua
Primary language: Go
Created: 2019-08-20T18:04:28Z
Description: 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.