Topic: Lean

• Category Theory and Mechanized Proof - March 11, 2025
• Thirteenth Summer School on Formal Techniques - May 30, 2024