TY  - RPRT
TI  - ViCAR: Visualizing Categories with Automated Rewriting in Coq
AU  - Bhakti Shah
AU  - Willam Spencer
AU  - Laura Zielinski
AU  - Ben Caldwell
AU  - Adrian Lehmann
AU  - Robert Rand
PY  - 2025
DO  - 10.4204/eptcs.429.13
UR  - https://arxiv.org/abs/2404.08163
ID  - 2404.08163
ER  -