Zulip Chat Archive

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)

neevor (Oct 16 2020 at 00:26):

Thanks that's really helpful!

Last updated: Dec 20 2023 at 11:08 UTC