@misc{indiciae7afdd2649c62,
  title = {A constructive account of the Kan-Quillen model structure and of Kan's Ex\$\textasciicircum{}\{\textbackslash{}infty\}\$ functor},
  author = {Simon Henry},
  year = {2019},
  url = {https://arxiv.org/abs/1905.06160},
  note = {Source identifier: 1905.06160}
}