Natural Number Game: build the basic theory of the natural numbers from scratch - discu.eu

Hacker News

Natural Number Game: build the basic theory of the natural numbers from scratch https://adam.math.hhu.de/#/g/leanprover-community/NNG4 31 comments 17/12/2024

Lobsters

Natural Number Game https://adam.math.hhu.de/#/g/leanprover-community/nng4/ 2 comments 11/7/2024 formalmethods , games

Linking pages

How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments

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

Related searches:

Search whole site: site:adam.math.hhu.de

Search title: Natural Number Game: build the basic theory of the natural numbers from scratch

See how to search.

Submit link to: