26 citations · 70 across the 17 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…