TY  - RPRT
TI  - Social Network Processes in the Isabelle and Coq Theorem Proving Communities
AU  - Jacques Fleuriot
AU  - Steven Obua
AU  - Phil Scott
PY  - 2016
UR  - https://arxiv.org/abs/1609.07127
ID  - 1609.07127
ER  -