neevor

Stream: new members

[neevor]

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]

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)

[neevor]

Thanks that's really helpful!