2 ms·
>but notoriously mathematics runs on javascript Lean is much more notorious for mathematics.
by charcircuit 9mo ago
>but notoriously mathematics runs on javascript
Lean is much more notorious for mathematics.
- taejo 9mo agoThe point GP is making, is that everyday mathematics is not done in Lean, but in a language that's more like JavaScript, where equals doesn't always mean equals, + and • mean whatever seems convenient at the time, and objects sometimes change type without notice.