Zulip Chat Archive

Stream: new members

Topic: Personal knowledge management for relearning mathematics

Andrew Dougherty (Jan 21 2023 at 16:25):

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!

Last updated: Dec 20 2023 at 11:08 UTC