Social Network Processes in the Isabelle and Coq Theorem Proving Communities
Social and Information Networks
2016-09-23 v1 Artificial Intelligence
Logic in Computer Science
Physics and Society
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.
Keywords
Cite
@article{arxiv.1609.07127,
title = {Social Network Processes in the Isabelle and Coq Theorem Proving Communities},
author = {Jacques Fleuriot and Steven Obua and Phil Scott},
journal= {arXiv preprint arXiv:1609.07127},
year = {2016}
}
Comments
15 pages, 13 figures, Research supported by EPSRC grant EP/L011794/1