6 Resources

The resources listed on this page are not required for the course, but may prove useful.

The Agda wiki contains links to information about Agda, but it can be a little difficult to find what you need.

Systems similar to Agda include Isabelle/HOL, Nuprl, Lean, and the dependently-typed programming languages Twelf, Coq, and Idris.

My CS 798 course web site contains links for resources using Coq, if you want to learn more about that.