The Design of an Interactive Proof Mode for Dafny. - Stefan Ciobâca; K. Rustan M. Leino; Stefan-Alexandru Mercas; Roxana-Mihaela Timon (CoRR, 2025)