@misc{indiciaeff543463faa9,
  title = {Compositional pre-processing for automated reasoning in dependent type theory},
  author = {Valentin Blot and Denis Cousineau and Enzo Crance and Louise Dubois de Prisque and Chantal Keller and Assia Mahboubi and Pierre Vial},
  year = {2024},
  doi = {10.1145/3573105.3575676},
  url = {https://arxiv.org/abs/2204.02643},
  note = {Source identifier: 2204.02643}
}