@misc{indiciae815ac0fcf977,
  title = {Proof Interfaces for Exploratory Mathematics},
  author = {Nishant Kheterpal and Matthew Keenan and Cyrus Omar and Jean-Baptiste Jeannin},
  year = {2026},
  url = {https://arxiv.org/abs/2610.02449},
  note = {Source identifier: 2610.02449}
}