@inproceedings{timany-2016-category,
  doi = {10.4230/LIPICS.FSCD.2016.30},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2016.30},
  author = {Timany, Amin and Jacobs, Bart},
  keywords = {Category Theory, Coq 8.5, Universe Polymorphism, Homotopy Type Theory},
  language = {en},
  title = {Category Theory in Coq 8.5},
  volume = {52},
  pages = {30:1-30:18},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2016},
  copyright = {Creative Commons Attribution 3.0 Unported license},
  booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)}
}