TY  - RPRT
TI  - Construction of the Circle in UniMath
AU  - Marc Bezem
AU  - Ulrik Buchholtz
AU  - Daniel R. Grayson
AU  - Michael Shulman
PY  - 2020
UR  - https://arxiv.org/abs/1910.01856
ID  - 1910.01856
ER  -