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

    Teaching

    2025-26 Term 1

    • MA4N1 Theorem Proving with Lean, course material on GitHub logo

    Past years

    Last updated: 12 August 2026

    • Feed
    © 2026 Damiano Testa. Powered by Jekyll & Minimal Mistakes.