TY  - RPRT
TI  - Category Theory in Coq 8.5
AU  - Amin Timany
AU  - Bart Jacobs
PY  - 2015
UR  - https://arxiv.org/abs/1505.06430
ID  - 1505.06430
ER  -