That's really cool! I wanted to do something like this, too. Would you like to work on a tool that replaces the variables in a theorem and/or proof? Say I wanted to replace a, b, c by \alpha, \beta, \gamma. Not entirely trivial. I believe it can go a long way in helping people understand a proof that refers to other theorems/proofs. I tried to do it https://observablehq.com/@neobourbaki/taylors-theorem, but it would be great if I could just write in standard latex, and let regex take care of the rest.

thanks for reaching out! I think your application of this is quite interesting, will have a closer look soon. right now my code is just very basic regex parsing, but maybe we can add some context awareness on top of that