Dr. Meven Lennon-Bertrand | MetaCoq: verified meta-theory at scale for a certified proof assistant 

Title: MetaCoq: verified meta-theory at scale for a certified proof assistant
Speaker: Dr Meven Lennon-Bertrand (University of Cambridge)
Date: 17th Oct 2024
Event: (BSP) Big Specification
Event: (BSP) Big Specification
🔗 Find out more: www.newton.ac....
-------------------
FOLLOW US
🌐| Website: www.newton.ac.uk
🎥| Main Channel: / @isaacnewtoninstitute
🐦| Twitter: / newtoninstitute
💬| Facebook: / newton.institute
📷| Instagram: / isaacnewtoninstitute
🔗| LinkedIn: / isaac-newton-institute...
SEMINAR ROOMS
🥇| INI Seminar Room 1: / @iniseminarroom1
🥈| INI Seminar Room 2: / @iniseminarroom2
🛰️| INI Satellite Events: / @inisatellite
ABOUT
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.
👉 Learn more about us and our events here: www.newton.ac.uk