MathLingua is an actively used programming language created in 2019.

1Years Old ?Users ?Jobs
  • 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 August 9th, 2020

Edit MathLingua on GitHub