Mathlingua is a language for easily creating a collection of mathematical knowledge, including definitions, theorems, axioms, and conjectures, in a format designed to be easy and fun to read and write. For more information, see mathlingua.org.
mathlingua Goto Github PK
Name: Mathlingua
Type: Organization
Bio: Mathlingua is a language designed to build an open, collaborative repository to record, communicate, and share mathematical knowledge