TY  - RPRT
TI  - Computer certified efficient exact reals in Coq
AU  - Robbert Krebbers
AU  - Bas Spitters
PY  - 2011
DO  - 10.1007/978-3-642-22673-1_7
UR  - https://arxiv.org/abs/1105.2751
ID  - 1105.2751
ER  -