@misc{indiciae339613c43359,
  title = {Computer certified efficient exact reals in Coq},
  author = {Robbert Krebbers and Bas Spitters},
  year = {2011},
  doi = {10.1007/978-3-642-22673-1\_7},
  url = {https://arxiv.org/abs/1105.2751},
  note = {Source identifier: 1105.2751}
}