Awesome Lean 
A collaborative list of awesome Lean resources. Feel free to contribute!
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.
Contents
Websites and Resources
- Lean Community - Lean Community Official website.