Apr193:30PM Principles of Programming Seminar OSKAR ABRAHAMSSON, MAGNUS O. MYREEN Candle: A Verified Implementation of HOL Light In Person and Zoom Gates Hillman 8102 and Zoom