@misc{indiciaee30fe38b10b7,
  title = {Formalising Real Numbers in Homotopy Type Theory},
  author = {Gaëtan Gilbert},
  year = {2016},
  doi = {10.1145/3018610.3018614},
  url = {https://arxiv.org/abs/1610.05072},
  note = {Source identifier: 1610.05072}
}