Compositionality and Connectivity: Diagrammatic Reasoning in Proof Assistants

Benjamin Caldwell
January 2026
Cite
Type
Thesis