Jonatas Miguel

Stream: new members

[Jonatas Miguel]

Ahoy! I am a software developer by trade but mathematics has been a hobby of mine for a few years, mostly very specific problems to occupy my time. I've been wanting to learn how to use tools like Lean and TLA+ to help formalize and explore ideas, I'm hoping that joining this community will be the first step in that direction.

I'll be playing with the Natural Number Game to get myself minimally familiar with Lean. Are there other resources like it for novices like myself to learn how to use Lean?

[Mario Carneiro]

https://github.com/leanprover-community/tutorials might be a good place to start with a vscode project

[Jonatas Miguel]

Thanks! Checking that out now as well.

[Mario Carneiro]

and #tpil is a good book to read to learn the basics