2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Bhakti Shah, Willam Spencer, Laura Zielinski +3
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with t…