Awesome. I've been looking for more Lean resources outside of Theorem Proving in... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		enricozb on April 6, 2020 \| parent \| context \| favorite \| on: Lean Book: The Hitchhiker's Guide to Logical Verif... 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/

ahelwer on April 6, 2020 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact