PROOF101
Overview Syllabus Resources Requirements Acknowledgments License

Introduction to Formal Verification & Proof Assistants

A 14-Week Journey into Formal Verification with Lean4 (Spring 2027)

AUB Math Society

PROOF101
Term
Spring 2027
Instructor
Daniel Dia
dmd13@mail.aub.edu
GitHub Lean Zulip
AUB Math Society

A student-led initiative to bring formal verification education to AUB. Not an official AUB platform.