Mathematics in Lean
last updated: Jul 31, 2025
https://leanprover-community.github.io/mathematics_in_lean/
A textbook for Lean, via the math is haunted; which also points to The Natural Number Game that I started and enjoyed.
Honestly I need a mathematical theorem-proving hobby like I need a hole in the head but I really dig playing around with lean.