TY  - RPRT
TI  - The Design of an Interactive Proof Mode for Dafny
AU  - Ştefan Ciobâcă
AU  - K. Rustan M. Leino
AU  - Ştefan-Alexandru Mercaş
AU  - Roxana-Mihaela Timon
PY  - 2025
UR  - https://arxiv.org/abs/2512.20486
ID  - 2512.20486
ER  -