@misc{indiciae81b17e99171b,
  title = {Intrinsically Correct Sorting in Cubical Agda},
  author = {Cass Alexandru and Vikraman Choudhury and Jurriaan Rot and Niels van der Weide},
  year = {2024},
  doi = {10.1145/3703595.3705873},
  url = {https://arxiv.org/abs/2412.08362},
  note = {Source identifier: 2412.08362}
}