Natural Number Game for Lean 4adam.math.hhu.de 3 pointslying4fun2 years ago1 commentSaveHideCopy link On HNComments−0823498723498722ydoes anyone know if the "ℕ is a total order" level from the old NNG will be ported to this version?
Comments
does anyone know if the "ℕ is a total order" level from the old NNG will be ported to this version?