Andrew Dougherty

Stream: new members

[Andrew Dougherty]

Hey folks, I am absolute neophyte with Lean. I learned some higher math and logic about 25 years ago, and have mostly forgotten it. I need a way to relearn. I'm thinking about using Emacs' Org-Roam to create a note-taking system. I want to mechanize as much as I can while relearning from grade-school level to grad-school level, and from 0 -> O. Any assistance would be greatly appreciated. Thanks!

[Gareth Ma]

Hey, you're replying to a old thread. See how when you type a message to reply, it says "new members > (a, b) = (c, d)"? That means you are in the wrong thread. Try pressing "New Topic" after pressing your Esc key a few times.
Screenshot-2023-01-21-at-16.22.20.png

[Notification Bot]

2 messages were moved here from #new members > (a, b) = (c,d) by Junyan Xu.

[Junyan Xu]

Sorry, didn't notice you already reposted. Feel free to change the title or remove the topic.

You should be able to move/edit title of your own messages/topics using the "move messages" button:
image.png