Re:ProofPeer – Collaborative Theorem Proving
by auggierose on Saturday November 30, 2013 @04:21PM
(#6824671)
Yep, Edinburgh rocks. ;-)
[ Parent
| on HN ]
There are no comments on this comment yet.