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 at Imperial College London
Mechanics of Proof by Heather Macbeth