add AUB course on formal verification#769

bryangingechen merged 1 commit intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

Rida-Hamadani:patch-3Rida-Hamadani/leanprover-community.github.io:patch-3Copy head branch name to clipboard