Re:ProofPeer – Collaborative Theorem Proving
by mori32 on Saturday November 30, 2013 @09:51AM
(#6823277)
Woo Edinburgh!!
[ Parent
| on HN ]
Re:ProofPeer – Collaborative Theorem Proving
by auggierose on Saturday November 30, 2013 @04:21PM
(#6824671)
Yep, Edinburgh rocks. ;-)