I have no end of frustration trying to do math with pen and paper. I can not seem to complete a page of working without making multiple mistakes.

I'm looking for something that will allow me to work on college-level math problems, checking my working as I go.

I've previously used LaTeX, but am open to learning a new system whether that involves sexps, APL, or something else.

I am hoping for something that, with practice, is at least as quick as pen and paper and can be converted to LaTeX. And I'm hoping for something that is going to continue to improve (maybe Lean or some large language model?)

  • 1
    See this castel.dev/post/lecture-notes-1 for the beginning - if you like it, there are two packages/implementations possible for Emacs, so your opinion first.
    – Ian
    May 4, 2023 at 12:14
  • @Ian: That looks close to the setup I had previously in Vim. That is probably what I'll use unless anyone has a better idea. I am hoping to get away from LaTeX and towards something more computer-parseable. Specifically, I would like that when I write LHS = RHS, the system actually checks that they are equal.
    – Zaz
    May 5, 2023 at 3:09
  • 1
    I'm currently leaning towards Org-Babel with Julia (as Julia looks closest to the typeset math) and then writing some Julia helper function to annotate the typeset output (e.g. put a little green checkmark above each equals sign that is correct). Any suggestions are still welcome!
    – Zaz
    May 6, 2023 at 3:47


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.