Weekly Seminar
Notes and materials from our weekly seminar
Next lean seminar: Tuesday 16 June 2026, 15:00 - 17:00 in L016. If you can, try to arrive a bit earlier so as not to upset the receptionist who needs to check you all in.
Cheat sheet: Here
Tactic Reference: Here
- 26/05/2026 Seminar 13 – The Clifford project
- 19/05/2026 Seminar 12 – Project introduction, Groups and Rings
- 12/05/2026 Seminar 11 – Hierarchies
- 28/04/2026 Seminar 10 – Structures
- 21/04/2026 Seminar 9 – Discrete Mathematics
- 14/04/2026 Seminar 8 – Sets and Functions part 2
- 07/04/2026 Seminar 7 – Sets and Functions
- 31/03/2026 Seminar 6 – Type theory
- 24/03/2026 Seminar 5 – Universal and Existential Quantifiers
- 17/03/2026 Seminar 4 – Logic
- 10/03/2026 Seminar 3 – Finishing chapter 2 of MIL
- 03/03/2026 Seminar 2 – ✨apply✨
- 24/02/2026 Seminar 1 – Introduction