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

Article URL: https://adam.math.hhu.de/#/g/leanprover-community/NNG4

Comments URL: https://news.ycombinator.com/item?id=42440016

Points: 30

# Comments: 1

https://adam.math.hhu.de/#/g/leanprover-community/NNG4

Created 6mo | Dec 17, 2024, 2:20:10 PM

Login to add comment

Other posts in this group

The Nyanja new PC-Engine/TurboGrafx 16-bit console game in development

The Nyanja new PC-Engine/TurboGrafx 16-bit console game in development

Article URL: https://sarupro.itch.io/thenyanja

Comments URL: https://news.ycombinator

Jun 22, 2025, 3:20:09 AM | Hacker news

U.S. has bombed Fordo nuclear plant in attack on Iran

U.S. has bombed Fordo nuclear plant in attack on Iran

Article URL: https://www.bbc.co.uk/news/live/ckg3rzj8emjt

Comments URL: ht

Jun 22, 2025, 3:20:08 AM | Hacker news

Sound As Pure Form: Music Language Inspired by Supercollider, APL, and Forth

Sound As Pure Form: Music Language Inspired by Supercollider, APL, and Forth

" rel="nofollow">

Comments URL:

Jun 22, 2025, 3:20:07 AM | Hacker news

Axolotls May Hold the Key to Regrowing Limbs

Axolotls May Hold the Key to Regrowing Limbs

Article URL: http

Jun 22, 2025, 1:10:08 AM | Hacker news

Requiem for a Solar Plant

Requiem for a Solar Plant

Article URL: https://7goldfish.com/articles/Requiem_for_a_solar_plant.php

Comments URL:

Jun 22, 2025, 1:10:07 AM | Hacker news

Publishing a Docker Container for MS Edit to the GitHub Container Registry

Publishing a Docker Container for MS Edit to the GitHub Container Registry

Article URL: https://til.simonwillison.net/github/container-registry

Comments URL:

Jun 22, 2025, 1:10:06 AM | Hacker news

See Jane 128 by Arktronics run (ft. Magic Desk, 3-Plus-1 and the Thomson MO5)

See Jane 128 by Arktronics run (ft. Magic Desk, 3-Plus-1 and the Thomson MO5)

Article URL: http://oldvcr.blogspot.com/2025/06/see-jane-128-by-arktronics-run.html

Comments URL:

Jun 22, 2025, 1:10:05 AM | Hacker news

Techie