Gwenyth Lincroft -

Registered user since Tue 9 Apr 2024

Name:Gwenyth Lincroft

Affiliation:Northeastern University

Contributions

2024

Mining Software Repositories

Author of Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems within the Technical Papers-track