## Stream: new members

### Topic: neevor

#### neevor (Oct 16 2020 at 00:15):

Hello I just finished the natural number game. I'm still pretty new to Lean but am hoping to start using it as I work through an analysis book.

#### Kyle Miller (Oct 16 2020 at 00:26):

There is a Lean tutorial which includes some amount of analysis, and if you have a Lean environment all set up you can download it withleanproject get tutorials. (github: https://github.com/leanprover-community/tutorials)