MathLingua is an actively used programming language created in 2019.
- the MathLingua website
- MathLingua first appeared in 2019
- Have a question about MathLingua not answered here? Email me and let me know how I can help.
Example code from the web:
Result: . for: X where: . 'X \subset \reals' then: . iff: . 'X is \real.compact \set' then: . 'X is \real.closed \real.bounded \set' Metadata: . name = "Heine-Borel Theorem"
Last updated February 18th, 2020