TY  - RPRT
TI  - Proof Interfaces for Exploratory Mathematics
AU  - Nishant Kheterpal
AU  - Matthew Keenan
AU  - Cyrus Omar
AU  - Jean-Baptiste Jeannin
PY  - 2026
UR  - https://arxiv.org/abs/2610.02449
ID  - 2610.02449
ER  -