Using the Lean 4 Proof Assistant for
Teaching Mathematics for Engineers

6. Northern-Light Symposium on Engineering Education
ZIMT Bremen, 20. 11. 2025

Peter Junglas

Content

• Introduction
• Working with Lean 4
• Exercise 1: Complex numbers
• Exercise 2: Continuity
• Exercise 3: Matrix Rank
• Conclusions