Stream: new members
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 with
leanproject get tutorials. (github: https://github.com/leanprover-community/tutorials)
neevor (Oct 16 2020 at 00:26):
Thanks that's really helpful!
Last updated: May 08 2021 at 03:17 UTC