@misc{indiciae608a3a806552,
  title = {General Automation in Coq through Modular Transformations},
  author = {Valentin Blot and Louise Dubois de Prisque and Chantal Keller and Pierre Vial},
  year = {2021},
  doi = {10.4204/eptcs.336.3},
  url = {https://arxiv.org/abs/2107.02353},
  note = {Source identifier: 2107.02353}
}