A Graphical Interface for Category Theory Proofs in Coq. - Luc Chabassier (ThEdu@CADE, 2024)

Aspects of category theory in proof assistants. (Théorie des catégories et assistants de preuve). - Luc Chabassier (2025)