Gwenyth Lincroft

According to our database, Gwenyth Lincroft authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Helical: A High Level Language Framework for Specifying Hypotheses and Experiments.

Emma Tosch, Gwenyth Lincroft

Proceedings of the 3rd ACM Conference on Reproducibility and Replicability, 2025

2024

Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems.

Gwenyth Lincroft, Minsung Cho, Katherine Hough, Mahsa Bazzaz, Jonathan Bell

Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024