@misc{indiciae7bc220bc4f94,
  title = {Type classes for efficient exact real arithmetic in Coq},
  author = {Robbert Krebbers and Bas Spitters},
  year = {2013},
  doi = {10.2168/lmcs-9(1:1)2013},
  url = {https://arxiv.org/abs/1106.3448},
  note = {Source identifier: 1106.3448}
}