TY  - RPRT
TI  - Machine-Checked Categorical Diagrammatic Reasoning
AU  - Benoît Guillemet
AU  - Assia Mahboubi
AU  - Matthieu Piquerez
PY  - 2024
UR  - https://arxiv.org/abs/2402.14485
ID  - 2402.14485
ER  -