Related: *Natural Number Game for Lean 4* - https://news.ycombinator.com/item?id... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

dang 48 days ago | parent | context | favorite | on: Natural Number Game: build the basic theory of the...

Related:

Natural Number Game for Lean 4 - https://news.ycombinator.com/item?id=37880788 - Oct 2023 (1 comment)

The Natural Number Game - https://news.ycombinator.com/item?id=27504877 - June 2021 (2 comments)

Natural number game - https://news.ycombinator.com/item?id=22801607 - April 2020 (14 comments)

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact