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\%.}
}