Open amy1gr opened 3 years ago
https://leanprover.github.io/tutorial/
https://leanprover.github.io/theorem_proving_in_lean/introduction.html
https://leanprover.github.io/tutorial/