GDG on Campus - AUB
AUB’s Official Google student community. CRN:5154
Register in club
Register in club
PROOF101 Homepage | Introduction to Formal Verification & Proof Assistants
PROOF101 Homepage | Introduction to Formal Verification & Proof Assistants
Learn formal verification and proof assistants in this comprehensive 10-week course covering Lean4, dependent types, and practical theorem proving at the American University of Beirut.
Bevy Page
Bevy Page
Check out Google Developer Groups GDG on Campus American University of Beirut - Beirut, Lebanon events, learn more or contact this organizer.
Our Socials
Instagram
Instagram
WhatsApp - Members Group
WhatsApp - Members Group
LinkedIn
LinkedIn
View on mobile
Explore other Linktrees
arianagrande
@arianagrande
morepurposepod
@morepurposepod
Heather Traska
@heathertraska
Ashe
@ashemusic
Ken Eurich
@keneurich
TMG Studios
@tmgstudios
zoltancomedy
@zoltancomedy
Sofia Tilbury
@sofiatilbury
Julian Sewell
@juliansewell
Alli Weatherly
@alliweatherly
previous
next
Discover more
See all
@nadhiafaydanu
@8chvp
@handsonplaylab
@cherrysakura
@dicasdabruna__
@hdhcolorado
@T.A.S.H
@_camilovelez
@bolosebrigss
@lahuertazarate
@km_bxing
@les_lyy20
@TrekkingUruguay
@GujaratiGoldenHawks
@webinar_stream_kesejahteraan
@abijiromusic
@deepmoodandskin
@RinTheCatato
@vuongtong9999
@husbandryweekkabinetrestorasi
@meilleurlateral
@eldertaleii
@arquiteta.tamiresborian
@construtoraterraco
@carlatavares
@morning.sophie
@waschlappencs
@gemdrop
@darius_tambell
@anandatama_rb
@leen.aldaref
@619savage
@scarletttaylor
@BOX_CAT_AI
@nanoproink
@GatorClassics
@theslowtravelista
@Steel_blood_and_love
@joselynalvarez
@krishna_thanushan
@Tomodachitl
@plusconnectionloja
@thekingsmp_ipa_bab22
@nichiworldtoys
@Lara_1502_