Metadata

Source URL:: https://www.youtube.com/watch?v=0GEHHxjfqV4
Topics:: #agda, #introduction, #intro, #jeremy_siek, #video

This 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...

Highlights