ViCAR: Visualizing Categories with Automated Rewriting in Coq. - Bhakti Shah; William Spencer; Laura Zielinski; Ben Caldwell; Adrian Lehmann; Robert Rand 001 (CoRR, 2024)