Mathlingua

Pinned Loading

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.

   Rust 71 1

2. mathlore mathlore Public

   The Mathlore collection of mathematical knowledge authored in the Mathlingua language.

   Shell

3. mathlore-forge mathlore-forge Public

   The AI multi-agent system that powers the expansion and maintenance of Mathlore.

   Python

4. mathlingua-reference mathlingua-reference Public

   The Mathlingua reference guide.

   Shell

5. mathlingua-zed-plugin mathlingua-zed-plugin Public

   The official Mathlingua plugin for the Zed editor.

   Tree-sitter Query

6. mathlingua-website mathlingua-website Public

   The source for the official Mathlingua website.

   HTML