Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy SiekThis is the first guest lecture in a course about interactive theorem proving. In this lecture, Jeremy Siek gives a gentle introduction to Agda, discusses th...#agda#introduction#intro#jeremy_siek#video·youtube.com·May 16, 2024Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy Siek
