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
A Glimpse of Lean
Mathematics in Lean
The Hitchhiker’s Guide to Logical Verification
Lean Game Server (Natural Number Game, Set Theory Game, etc.)
Functional Programming in Lean
Theorem Proving in Lean
Formalising Mathematics (Imperial College London)
Math 2001 - The Mechanics of Proof (Fordham University)
Agda
Programming Language Foundations in Agda
The HoTT Game
Introduction to Univalent Foundations of Mathematics with Agda
CS410 - Advanced Functional Programming (University of Strathclyde)