Topic: Lean

• Thirteenth Summer School on Formal Techniques - May 30, 2024