@misc{indiciaefba24b7859bf,
  title = {Construction of the Circle in UniMath},
  author = {Marc Bezem and Ulrik Buchholtz and Daniel R. Grayson and Michael Shulman},
  year = {2020},
  url = {https://arxiv.org/abs/1910.01856},
  note = {Source identifier: 1910.01856}
}