mathematica VS mathquill

The existence of https://github.com/robertylewis/mathematica makes me think it's more likely to go in the other direction, where you treat powerful tools as untrusted oracles which produce certificates that Lean then verifies.

In MathQuill(http://mathquill.com/), the field in which you type is "faked" with js. Even the cursor is just a `span`.

What are the benefits of going the faked route as opposed to building on contenteditable?

Typing equations for maths is very tedious in Anki. Well, until now, I've been using mathquill to type equations in a browser, copy it to anki and use mathjax to render it. I was wondering if anyone could simplify the process integrating it to anki itself.

Desmos has open source library called MathQuill, which converts typed chars to mathematical representation similar to Mathematica. Sure there is some "programming statements" like (La)TeX like syntax there, but so does Mathematica too.

[1]: http://mathquill.com/

I also found this math input library: http://mathquill.com/ , and https://mathjs.org/ seems to contain code for solving math problems.

So I found a much easier way to use LaTeX. There is this lovely auto-editor for LaTeX here: http://mathquill.com/

You might want to look for a component that can render MathML. On the web some browsers can do it or there's MathJax. There's also MathQuill to enter formulas in the browser.