Subu Chitti

Stream: new members

[Subu Chitti]

I’m Subu Chitti, a programmer. Over the weekend I started doing the natural number game and haven’t had so much fun in a long time. I’ve installed lean now and would like to immerse myself in proving maths theorems using lean. Dream would be to join a collaborative effort to prove something, that’s the goal I’d like to reach

[Daniel Weber]

Are you aware of the current ongoing community projects? And, of course, you can contribute to Mathlib

[Kevin Buzzard]

What's your background?

[Johan Commelin]

Welcome! And yes, NNG is a good sample of how addictive Lean can be. You've been warned :wink:

[Subu Chitti]

Thanks Daniel, I wasn't aware of those projects.

@Kevin Buzzard I have a Bachelors in computer science and and have taken a few undergraduate maths courses and discrete maths.

Johan, can't wait to try out the other games on the same page