A 10-Week Journey into Formal Verification with Lean4 (Spring 2026).
All of my undergraduate coursework at AUB.