Repositories list

• 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.

  mathematicslanguagesinformation-systems

  Go

  •

  Apache License 2.0

  •0•68•0•4•Updated Sep 26, 2024Sep 26, 2024

• mathlingua-book

  Public
  HTML

  •0•0•0•0•Updated Sep 19, 2024Sep 19, 2024

• mathlore

  Public
  Dockerfile

  •0•0•0•0•Updated Aug 17, 2024Aug 17, 2024

• mathlore-content

  Public
  A repository of mathematical knowledge written in the Mathlingua language.

  mathknowledgemathematics+ 1encyclopedia

  Creative Commons Attribution 4.0 International

  •1•17•0•0•Updated Aug 17, 2024Aug 17, 2024

• mathlingua-website

  Public
  HTML

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

• mathlingua-language-support

  Public
  The official VS Code extension for MathLingua

  TypeScript

  •

  Apache License 2.0

  •0•1•0•1•Updated Apr 5, 2023Apr 5, 2023