Natural Number Game for Lean 4

adam.math.hhu.de

3 pointslying4fun1 comment

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