site:adam.math.hhu.de - 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 32 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