2 ms·Social Network Processes in the Isabelle and Coq Theorem Proving Communities [pdf]2 points by mathgenius 10y agomathgenius 10y agoWhoops, it's supposed to be an arxiv link: http://arxiv.org/abs/1609.07127 http://arxiv.org/abs/1609.07127