ViCAR: Visualizing Categories with Automated Rewriting in Coq

arXiv2404.08163MaRDI QIDQ6530278FDOQ6530278

Authors: Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert C. Rand 

Has companion code repository: https://github.com/inqwire/vicar

This page was built for publication: ViCAR: Visualizing Categories with Automated Rewriting in Coq

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6530278)