Homepage About Portfolio Blog Academia Contact

PROOF101: Introduction to Formal Verification & Proof Assistants

View project →

Tags:

Course
Lean4
Teaching

DANIEL DIA

Computer & Communications Engineering and Mathematics
American University of Beirut