3 ms·Introduction to Agda by Jeremy Siek – Interactive Theorem Proving Guest Lecture [video]2 points by matt_d 2y ago