Topic: Coq

• Beginner Resources for Formalizing Lambda Calculi - May 10, 2025
• Category Theory and Mechanized Proof - March 11, 2025
• 2024 School on Univalent Mathematics - August 12, 2024