pauldoo

By pauldoo

EdLambda

EdLambda's talk tonight was on a system called ProofPeer, pretty ambitious and interesting stuff.

Comments
Sign in or get an account to comment.