[_jcrossley]

I wish I had the free time to keep up with the mathlib project - this is so cool. Is there any way someone can get involved in a super hands-off way?

[isaacfrond]

You could start with the Natural numbers game.

https://adam.math.hhu.de/#/g/leanprover-community/NNG4

[gerdesj]

Well, thanks a lot! One minute I'm setting up a monitoring system and then ... I've just proved two is the number after the number after zero \o/ 8)

[_jcrossley]

Yea I’ve run through that a couple of years ago - was brilliant, had a lot of fun. But I mean to stay up to date and somehow contribute from the sidelines

[shepherdjerred]

Wow, that's actually really fun. Is this what "proofs" are in math classes?