The Natural Number Game - discu.eu

Hacker News

Natural number game https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ 14 comments 7/4/2020

Linking pages

Doing a math assignment with the Lean theorem prover - Andrew Helwer https://ahelwer.ca/post/2020-04-05-lean-assignment/ 32 comments

Related searches:

Search whole site: site:wwwf.imperial.ac.uk

Search title: The Natural Number Game

See how to search.

Submit link to: