@misc{indiciae9543ff0358f7,
  title = {A Graphical Interface for Category Theory Proofs in Coq},
  author = {Luc Chabassier},
  year = {2025},
  doi = {10.4204/eptcs.419.2},
  url = {https://arxiv.org/abs/2505.13473},
  note = {Source identifier: 2505.13473}
}