Has any work been done on a latex to s-expression parser

[vxe]

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

[sritchie]

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!