@misc{indiciae3e144adf32dd,
  title = {Adhesive category theory for graph rewriting in Rocq},
  author = {Samuel Arsac and Russ Harmer and Damien Pous},
  year = {2026},
  url = {https://arxiv.org/abs/2509.17392},
  note = {Source identifier: 2509.17392}
}