Search Results for author: Phil Scott

Found 1 papers, 0 papers with code

Social Network Processes in the Isabelle and Coq Theorem Proving Communities

no code implementations • 22 Sep 2016 • Jacques Fleuriot, Steven Obua, Phil Scott

We identify the main actors in the Isabelle and Coq communities and describe how they affect and influence their peers.

Automated Theorem Proving

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.