Carlin MacKenzie

According to our database, Carlin MacKenzie authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

Re-imagining the Isabelle Archive of Formal Proofs.

Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

An Evaluation of the Archive of Formal Proofs.

Carlin MacKenzie, Jacques D. Fleuriot, James Vaughan

CoRR, 2021

Extracting and Visualizing User Engagement on Wikipedia Talk Pages.

Carlin MacKenzie, John R. Hott

Proceedings of the OpenSym 2021: 17th International Symposium on Open Collaboration, 2021