Completed
Dr. Meven Lennon-Bertrand | MetaCoq: verified meta-theory at scale for a certified proof assistant
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
MetaCoq - Verified Meta-Theory at Scale for a Certified Proof Assistant
Automatically move to the next video in the Classroom when playback concludes