Thanks to visit codestin.com
Credit goes to leanprover-community.github.io

Teaching with Lean #

If you are interested in using Lean for teaching, you can find various resources and suggestions here.