Mathematical Methods for Physics [pdf]

The Natural Number Game - interactive Lean tutorial