Resources

YouTube:

• https://www.youtube.com/@LeanFirstSteps/videos

Github:

• https://github.com/rzeta0/Lean-First-Steps/

Mechanics of Proof Course:

• https://hrmacbeth.github.io/math2001/index.html

Lean On The Web

• https://live.lean-lang.org/