Video Series introducing natural number game in Lean4

Stream: lean4

[Alex Kassil]

Hello! I started making an educational series working through the natural number game using lean4!

https://youtube.com/watch?v=u_0jWOlDoPw

For those of you who are new to lean/lean4, I hope you find this helpful. And for those of you more experienced, I would love any feedback you have!

Making the series has been a fun way for me to learn lean4.

[Notification Bot]

Alex Kassil has marked this topic as resolved.

[Notification Bot]

Alex Kassil has marked this topic as unresolved.

[Martin Dvořák]

Does NNG in Lean 4 exist? I mean the webapp, not the videos about it.

[Alexander Bentkamp]

We are developing a webapp like it here: https://github.com/leanprover-community/lean4game