Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
spell out the basics of the Lean language. Instead, great minds have put together some incredible resources that can get you started with Lean. I suggest you join the Lean Zulip chat and starting working through Logic and Proof, a free discrete math textbook built with example code in Lean.