TY  - RPRT
TI  - Formalising Real Numbers in Homotopy Type Theory
AU  - Gaëtan Gilbert
PY  - 2016
DO  - 10.1145/3018610.3018614
UR  - https://arxiv.org/abs/1610.05072
ID  - 1610.05072
ER  -