PROOF101: Introduction to Formal Verification & Proof AssistantsJanuary 1, 2026AUB Math Society Google Developer Groups @AUB Lean4 Formal Verification Proof Assistants Type Theory Functional Programming