Thanks to visit codestin.com Credit goes to leanprover-community.github.io
If you are interested in using Lean for teaching, you can find various resources and suggestions here.