Andre Graubner

Stream: new members

[Andre Graubner (安德)]

Hello, nice to meet everybody!
I'm quite new to Lean, but I think the idea is interesting so I thought I'd give it a go and see how much enjoyment I get out of playing around with it and potentially contributing one day. Hope you all have a great day.

[Shaun Modipane]

how far are you in the natural number game

[Huỳnh Trần Khanh]

Not every Lean user plays the Natural Number Game, LOL. It's not the only guide out there. There are many other helpful guides too, like The Hitchhiker's Guide to Logical Verification for example.

[Kevin Buzzard]

The mathematicians tend to, the computer scientists tend not to