Machine-Checked Categorical Diagrammatic Reasoning. - Benoît Guillemet; Assia Mahboubi; Matthieu Piquerez (FSCD, 2024)