@article{Struth23,
  author       = {Struth, G.},
  title        = {Catoids, Categories, Groupoids},
  journal      = {Arch. Formal Proofs},
  volume       = {2023},
  year         = {2023},
  url          = {https://www.isa-afp.org/entries/Catoids.html}
}

@article{MalbosMS24,
      title={Single-set cubical categories and their formalisation with a proof assistant}, 
      author={P. Malbos and T. Massacrier and G. Struth},
      year={2024},
  eprinttype  = {arxiv},
  eprintclass = {cs.LO, math.CT, 18N30, 68V15, 03B35, 68Q42},
  eprint      = {http://arxiv.org/abs/2401.10553v1},
  note         = {\url{http://arxiv.org/abs/2401.10553v1}}
}

