MathLingua - Programming language

MathLingua is a programming language created in 2019.

#3451on PLDB

5Years Old

MathLingua website
MathLingua first developed in https://github.com/DominicKramer/mathlingua/issues
mathlingua.org was registered in 2019

Example 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"