Social Network Processes in the Isabelle and Coq Theorem Proving Communities
This work addresses social dynamics in theorem proving communities, but it is incremental as it applies existing social network analysis to a new context without major methodological innovations.
The paper analyzed the main actors and their influence in the Isabelle and Coq theorem proving communities, exploring social network analysis foundations to support the ProofPeer project's development of a collaborative model for interactive theorem proving.
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 analysis that we expect to be useful in the context of the ProofPeer project, which is developing a new model for interactive theorem proving based on collaboration and social interactions.