Resources

This page contains resources from previous TypeSig events, courses, and workshops, as well as more general reference material for various topics.

Current Courses

Lisp Workshop

Previous Courses

Domain Theory

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

Agda

PLFA