@inproceedings{2026-proof-interfaces-splashe,
  title = {Proof Interfaces for Exploratory Mathematics},
  author = {Nishant Kheterpal and Matthew Keenan and Cyrus Omar and Jean-Baptiste Jeannin},
  booktitle = {SPLASH-E 2026 (SPLASH/ISSTA 2026)},
  year = {2026}
}