@misc{indiciae56aade17fd5d,
  title = {The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations},
  author = {Jean S. Joseph},
  year = {2018},
  url = {https://arxiv.org/abs/1812.00051},
  note = {Source identifier: 1812.00051}
}