Chris Henson
Posts
About
Topics
Misc
Topic: Coq
Category Theory and Mechanized Proof
- March 11, 2025
2024 School on Univalent Mathematics
- August 12, 2024