Published April 30, 2016
| Version FSCD16
Software
Open
Categories: FSCD 2016
Description
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
Files
Categories-FSCD16.zip
Files
(175.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1eecdd2e8b906ffde6df2a18a8dd74d4
|
175.7 kB | Preview Download |
Additional details
Related works
- Is identical to
- https://github.com/amintimany/Categories/tree/FSCD16 (URL)