Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
theory, or topology? They might now be within your reach with a good textbook and a feedback system for verifying your proofs. If you’ve gotten this far, then I’ll bet you’re interested in what Lean has to offer. I’m not a professional mathematician or computer scientist, so I won’t even try to