26 citations · 38 across the 9 of their papers we have counts for
1 paper · 1 filter
Jason Gross, Adam Chlipala, David I. Spivak
We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we h…