Topic: Lean
- The Interplay Between Metaprogramming and Computation in Lean - June 28, 2025
- Beginner Resources for Formalizing Lambda Calculi - May 10, 2025
- Category Theory and Mechanized Proof - March 11, 2025
- Thirteenth Summer School on Formal Techniques - May 30, 2024