Natural Number Game for Lean 4 (opens in new tab)

(adam.math.hhu.de)

3 pointslying4fun2y ago1 comments

1 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse