LftCM2020: Structures and Classes 1/2 - Floris van Doorn
LftCM2020: Structures and Classes 2/2 - Floris van Doorn
LftCM2020: Building an algebraic hierarchy - Kevin Buzzard
Floris van Doorn: Lean Tactics
Lean Together 2021: Model Theory in Lean
Category Theory, Composition and Functional Programming
Module 4 - Typed Lambda Calculus
