Social Network Processes in the Isabelle and Coq Theorem Proving Communities

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. This work explores selected foundations of social networking…