Natural Number Game for Lean 4 | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Natural Number Game for Lean 4 (hhu.de)
		3 points by lying4fun on Oct 14, 2023 \| hide \| past \| favorite \| 1 comment

aebtebeten on Oct 14, 2023 [–]

does anyone know if the "ℕ is a total order" level from the old NNG will be ported to this version?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact