• Skip to primary navigation
  • Skip to content
  • Skip to footer
home
  • Minicourses
  • Teaching
  • Slides
  • Papers
  • Macaulean

    Teaching

    2025-26 Term 1

    • MA4N1 Theorem Proving with Lean, course material on GitHub

    Past years

    Updated: March 18, 2026

    • Feed
    © 2026 home. Powered by Jekyll & Minimal Mistakes.