Week #10: Rocqing Out
Lyx Huston - 30 October 2026
Hello!
How do you know a program (like your kernel) works correctly? The typical answer is tests, but you can’t predict every case in your tests. The solution is a proof assistant, a programming language where you can state and prove logical statements. This week, Lyran will introduce us to one such proof assistant: Rocq.
Prove you exist from 4:30-6:00pm this Friday in GOL-1445!
Event Details
Fri, Oct. 30, 2026
04:30pm - 06:00pm
GOL-1445