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