The Natural Number Game - discu.eu

Hacker News

The Natural Number Game https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ 2 comments 14/6/2021

Lobsters

The Natural Number Game - interactive Lean tutorial https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ 3 comments 28/7/2022 compsci , formalmethods , math

Linking pages

Proofs about programs | Busy Beavers! https://busy-beavers.tigyog.app/proofs-about-programs 70 comments
What I've Learned About Formal Methods In Half a Year â Jakob's Personal Webpage https://jakob.space/blog/what-ive-learned-about-formal-methods.html 70 comments
Proving programs halt | Busy Beavers! https://busy-beavers.tigyog.app/proving-programs-halt 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:www.ma.imperial.ac.uk

Search title: The Natural Number Game

See how to search.

Submit link to: