ChiQP Lab
ChiQP Lab
Publications
People
News
Contact
symmetric monoidal categories
TensorRocq: Enabling Diagrammatic Reasoning in Rocq
Ben Caldwell
,
William Spencer
,
Aleks Kissinger
,
Robert Rand
Cite
×