Pinned

1. mathlingua mathlingua Public

   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.

   Go 67

2. mathlingua-language-support mathlingua-language-support Public

   The official VS Code extension for MathLingua

   TypeScript 1

3. mathlore-content mathlore-content Public

   A repository of mathematical knowledge written in the Mathlingua language.

   17 1

4. mathlingua-website mathlingua-website Public

   HTML

5. mathlingua-book mathlingua-book Public

   HTML

6. mathlore mathlore Public

   Dockerfile