Machine-Checked Categorical Diagrammatic Reasoning.

Benot Guillemet, Assia Mahboubi, Matthieu Piquerez

Browse the full FSCD paper archive.