This is the version of the category theory development corresponding to the FSCD 2016 paper:
Category Theory in Coq 8.5
By Amin Timany and Bart Jacobs
(to appear) in FSCD 2016, 22-26 of June 2016, Porto, Portugal
This is the version of the category theory development corresponding to the FSCD 2016 paper:
Category Theory in Coq 8.5
By Amin Timany and Bart Jacobs
(to appear) in FSCD 2016, 22-26 of June 2016, Porto, Portugal