@misc{indiciae1aa7fbe5f3ef,
  title = {Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories},
  author = {A. Mayeux},
  year = {2026},
  url = {https://arxiv.org/abs/2606.03835},
  note = {Source identifier: 2606.03835}
}