4 ms·
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/ https://l
by enricozb 7y ago
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/ https://leanprover.github.io/theorem_proving_in_lean/
- ahelwer 7y agoMy favorite is the Natural Number Game: https://wwwf.imperial.ac.uk/~buzzard/xena/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.