Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems
Lincroft, Gwenyth and Cho, Minsung and Bazzaz, Mahsa and Hough, Katherine and Bell, Jonathan
Download PDF
BibTex:
@inproceedings{theorem-provers,
title = {Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems},
author = {Lincroft, Gwenyth and Cho, Minsung and Bazzaz, Mahsa and Hough, Katherine and Bell, Jonathan},
year = {2024},
url = {https://www.jonbell.net/preprint/msr24-proof-assistants.pdf},
artifact = {https://doi.org/10.6084/m9.figshare.24582858.v1},
booktitle = {Proceedings of the 21st International Conference on Mining Software Repositories},
series = {MSR},
note = {Acceptance rate: 29\%.}
}