@inproceedings{,
  author    = "{Díaz, Tomás and Maillard, Kenji and Rosain, Johann and Sozeau, Matthieu and Tabareau, Nicolas and Tanter, Éric and Winterhalter, Théo}",
  title     = "{Extending Sort Polymorphism with Elimination Constraints in Rocq (abstract)}",
  booktitle = {The Rocqshop 2025},
  year      = {2025},
}