Hacker News
Lobsters
- Proofs about programs - an interactive tutorial https://busy-beavers.tigyog.app/proofs-about-programs 11 comments compsci , math
- Proofs about programs https://busy-beavers.tigyog.app/proofs-about-programs 22 comments programming
- Proofs about programs - an interactive tutorial I wrote https://busy-beavers.tigyog.app/proofs-about-programs 15 comments compsci
Linked pages
- Lean http://leanprover.github.io 46 comments
- Ackermann function - Wikipedia https://en.wikipedia.org/wiki/ackermann_function 30 comments
- The Natural Number Game https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ 5 comments
- Theorem Proving in Lean 4 - Theorem Proving in Lean 4 https://leanprover.github.io/theorem_proving_in_lean4/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:busy-beavers.tigyog.app
Search title: Proofs about programs | Busy Beavers!
See how to search.