Social Network Processes in the Isabelle and Coq Theorem Proving Communities

TL;DR

This paper analyzes social network dynamics within the Isabelle and Coq theorem proving communities, aiming to inform collaborative models in proof development.

Contribution

It identifies key community actors and explores social network foundations relevant to collaborative theorem proving platforms.

Findings

Main actors influence peer interactions

Social network analysis foundations are applicable to proof communities

Insights support development of collaborative theorem proving models

Abstract

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.