@misc{indiciae13f1c670e549,
  title = {The HoTT Library: A formalization of homotopy type theory in Coq},
  author = {Andrej Bauer and Jason Gross and Peter LeFanu Lumsdaine and Mike Shulman and Matthieu Sozeau and Bas Spitters},
  year = {2016},
  url = {https://arxiv.org/abs/1610.04591},
  note = {Source identifier: 1610.04591}
}