Interactive Theorem Proving for Agda Users

This page contains the slides of the module "Interactive Theorem Proving", a third year/postgraduate course held at Swansea University, with a guide to material specifically directed at Agda. The full course page can be found here.
Anton Setzer
Last modified: Wed Jan 14 14:20:18 GMT 2009