Comment by charcircuit

>but notoriously mathematics runs on javascript

Lean is much more notorious for mathematics.