@misc{indiciae5870b56482ce,
  title = {Single-set cubical categories and their formalisation with a proof assistant (extended version)},
  author = {Philippe Malbos and Tanguy Massacrier and Georg Struth},
  year = {2024},
  url = {https://arxiv.org/abs/2401.10553},
  note = {Source identifier: 2401.10553}
}