@misc{indiciae02cf94f89cda,
  title = {An introduction to univalent foundations for mathematicians},
  author = {Daniel R. Grayson},
  year = {2018},
  doi = {10.1090/bull/1616},
  url = {https://arxiv.org/abs/1711.01477},
  note = {Source identifier: 1711.01477}
}