Thanks Kevin

Stream: new members

[joaogui1 (he/him)]

Just wanna say thanks to @Kevin Buzzard , Natural Number Game is amazing, I started playing late yesterday and the first thing I did after waking up today was going back to finish it :D

[Kevin Buzzard]

No problem! Do you want to help making the lean 4 version?

[joaogui1 (he/him)]

Yep!

[joaogui1 (he/him)]

Is there a github repo or something? How can I help?

[Patrick Massot]

The first five levels are ported at https://github.com/PatrickMassot/NNG4. The result can be seen at http://pat.perso.ens-lyon.org/nng4ssl/. You can try to port the remaining levels of addition world. Note that the current Lean 4 setup does not divide the game into worlds, but that will be easy to fix if I see that some people are working on porting more level. See https://github.com/PatrickMassot/lean4-game-server/blob/main/README.md for more context about that Lean 4 version.

[joaogui1 (he/him)]

Cool, will check that out

[joaogui1 (he/him)]

Btw is the code for the Lean 3 version public?

[Bulhwi Cha]

Yes, here it is: https://github.com/ImperialCollegeLondon/natural_number_game.

[joaogui1 (he/him)]

Thanks!