12 citations · 19 across the 9 of their papers we have counts for
1 paper · 1 filter
Amin Timany, Bart Jacobs
We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at https://bitbucket.org/amintimany/categories/. This implement…