Resources
This page contains resources from previous TypeSig events, courses, and workshops, as well as more general reference material for various topics.
Current Courses
Previous Courses
Other Resources
Lean4
Functional Programming in Lean
Theorem Proving in Lean
Lean Game Server (Natural Number Game, Set Theory Game, etc.)
Formalising Mathematics
Mechanics of Proof
A Glimpse of Lean
Agda
Programming Language Foundations in Agda
The HoTT Game
Introduction to Univalent Foundations of Mathematics with Agda
CS410 - Advanced Functional Programming (University of Strathclyde)