4 ms·Natural Number Game for Lean 43 points by lying4fun 3y ago082349872349872 3y agodoes anyone know if the "ℕ is a total order" level from the old NNG will be ported to this version?