3 ms·

This refers to additional material appearing during October and November 2023. Did it?

• 082349872349872 2y ago
  "Algorithm World" was new to me
  • JadeNB 2y ago
    Sure--I think I saw a very old version of this, so most of it is new to me--but it also refers to "Prime Number World and more", and at least Prime Number World doesn't seem to be on the map.
• kevinbuzzard 2y ago
  (I'm the author of the game) Unfortunately it did not. That comment was made when I was optimistic that an undergraduate who'd added more levels as a summer project would go on to PR them, but then the term started and they were distracted by their degree. We have some kind of prototypes for even/odd world (e.g. "prove odd * even is even") and prime number world (boss level: prove 2 is prime), plus a hard world consisting basically of unsolved problems such as Goldbach, Twin Prime Conjecture etc. But they never made the transition from "lean file containing a bunch of theorems" to "lots of files each containing one theorem and some rambling".
  • 082349872349872 2y ago
    thanks! (in particular, for updating the "ℕ is a total order" for Lean 4)