@inproceedings{hervier-sulfur-rocqshop,
  author       = {Théa Hervier and Mathis Bouverot-Dupuis and Thiago Felicissimo and Théo Winterhalter},
  title        = {Sulfur: Automating Substitution-preserving Syntaxes and Judgments in Rocq},
  booktitle    = {Rocqshop 2026, co-located with ITP and FLoC 2026},
  series       = {Rocqshop},
  year         = {2026},
  address      = {Lisbon, Portugal},
  month        = {July}
}