Been learning the Lean language/proof assistant and it's pretty cool, the natural number game was pretty fun. Next I'll be working through "functional programming in Lean" and doing the linear algebra and real analysis games.