Coincidentally I’ve been working through Heather Macbeth’s The Mechanics of Proof which is more precisely a math textbook using Lean 4, rather than a Lean 4 tutorial, but it’s been fun and rewarding proving that numbers are bigger or smaller than each other or even or odd or what have you.
Coincidentally I’ve been working through Heather Macbeth’s The Mechanics of Proof which is more precisely a math textbook using Lean 4, rather than a Lean 4 tutorial, but it’s been fun and rewarding proving that numbers are bigger or smaller than each other or even or odd or what have you.