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