Comment on Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]Comments−enricozb6yAwesome. I've been looking for more Lean resources outside of Theorem Proving in Lean [1].[1]: https://leanprover.github.io/theorem_proving_in_lean/−ahelwer6yMy favorite is the Natural Number Game: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam...A series of levels where you prove ever-more-complex theorems in Lean, gaining each proved theorem as a tool to use in proving further theorems! Best puzzle game I've played in years.
Comments
Awesome. I've been looking for more Lean resources outside of Theorem Proving in Lean [1].
[1]: https://leanprover.github.io/theorem_proving_in_lean/
My favorite is the Natural Number Game: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam...
A series of levels where you prove ever-more-complex theorems in Lean, gaining each proved theorem as a tool to use in proving further theorems! Best puzzle game I've played in years.