What does it mean to understand a Theorem?
Lean and Formal Verification