Warning: This repository is deprecated. It uses an obsolete version of Lean.
The Lean 4 version can be found at https://github.com/leanprover-community/tutorials4. Many more learning resources are listed at https://leanprover-community.github.io/learn.html.