Jessica Shi 0002, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head. QED in Context: An Observation Study of Proof Assistant Users. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):337-363, 2025. [doi]
Abstract is missing.