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

   Shell

3. mathlore-forge mathlore-forge Public

   Python

4. mathlingua-reference mathlingua-reference Public

   Shell

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

   Tree-sitter Query

6. mathlingua-website mathlingua-website Public

   HTML