Zulip Chat Archive

Stream: new members

Topic: neevor


view this post on Zulip 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.

view this post on Zulip 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)

view this post on Zulip neevor (Oct 16 2020 at 00:26):

Thanks that's really helpful!


Last updated: May 08 2021 at 03:17 UTC