@misc{indiciae4dc7711a3a0a,
  title = {Retro-synthetic Riemannian geometry in Rocq I : Taylor series of a metric},
  author = {Gabriella Clemente and Hugo Herbelin and Carlos Simpson},
  year = {2026},
  url = {https://arxiv.org/abs/2609.20127},
  note = {Source identifier: 2609.20127}
}