Open vxe opened 3 weeks ago
I had started on this project over at https://mathlive.mentat.org/#extracting-mathjson, with a cljs wrapper of https://cortexjs.io/mathlive/, which I'm sure has matured since I started the project. I'd recommend you start there, and write a MathJSON => Emmy S-expression parser, then lean on MathLive to do the LaTeX parsing.
Good luck, I'll be happy to review any work you do!
something in the spirit of https://pypi.org/project/latex2sympy2/ ?
may consider working on something of this sort once I get up to speed on SICM