@misc{indiciae96870bce64d3,
  title = {TensorRocq: Enabling diagrammatic reasoning in Rocq},
  author = {Benjamin Caldwell and William Spencer and Aleks Kissinger and Robert Rand},
  year = {2026},
  url = {https://arxiv.org/abs/2604.17592},
  note = {Source identifier: 2604.17592}
}