• holomorphic@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    4 hours ago

    Thanks for the recommendation. I knew org-mode exists, but I’ve only ever used emacs for proof-assistants which have no other ide-support. I guess I should at least give it a try.