arXiv:1609.07127cs.SI
Social Network Processes in the Isabelle and Coq Theorem Proving Communities
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
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.
Whoops, it's supposed to be an arxiv link: http://arxiv.org/abs/1609.07127
mathgeniusView on HNParent context