3 ms·
What are good beginner resources to learn Lean?
by AcademicHamster 6y ago
What are good beginner resources to learn Lean?
- tromoi57 6y agoSee the resources over at https://leanprover-community.github.io/learn.html https://leanprover-community.github.io/learn.html and the youtube playlist of the Lean for the Curious Mathematician workshop: https://www.youtube.com/playlist?list=PLlF-CfQhukNlxexiNJErGJd2dte_J1t1N https://www.youtube.com/playlist?list=PLlF-CfQhukNlxexiNJErG...
- ocfnash 6y agoThe Lean Community website [1] is a great place to start. Depending on your background you might like to dive right into the Natural Number Game [2] or the Theorem Proving in Lean [3] (both linked from the Community site). 1. https://leanprover-community.github.io/ https://leanprover-community.github.io/ 2. http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game... 3. https://leanprover.github.io/theorem_proving_in_lean/ https://leanprover.github.io/theorem_proving_in_lean/
- Ericson2314 6y agoAn addictive personality :). Theorem proving can be a fun open-world videogame, and I do hope these aspects can be refined overtime to make real mathematics a lot more accessible.