Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
the core topics in most discrete math courses. I’d say Lean is working really well for me, but I’m not at the end of the road just yet. Lean seems to work well for discrete math, but it could be great for anyone interested in going beyond discrete math, too. Interested in abstract algebra, graph