Benjamin Caldwell

Latest

• Compositionality and Connectivity: Diagrammatic Reasoning in Proof Assistants