Topic: Proof Assistants

• Category Theory and Mechanized Proof - March 11, 2025