Topic: Proof Assistants

• 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