add AUB course on formal verification

Author: Rida-Hamadani

data/courses.yaml

@@ -17,6 +17,16 @@
 # a general subject (`mathematics`, `logic`, `computer science`).
 #
 # This list is not ordered. Add new entries wherever you want.
+- name: "Introduction to Formal Verification & Proof Assistants"
+  instructor: Daniel Dia, Nadim Kobeissi
+  institution: American University of Beirut
+  year: 2026
+  lean_version: 4
+  tags: ['computer science','mathematics','formal verification']
+  summary: >
+    Introducing formal verification and proof assistants to undergraduate engineering and mathematics students. It covers dependent type theory, functional programming, operational semantics, and it applies the concepts to hands-on examples from high-assurance cryptography, metaprogramming, and formalization of mathematics. 
+  website: https://danieldia-dev.github.io/proofs/
+  repo: https://github.com/danieldia-dev/proof101-problems
 - name: "Formal Proofs and Software Verification"
   instructor: Alexandre Rademaker
   institution: Fundação Getulio Vargas