News for hackers. Stuff that matters.
Re:ProofPeer – Collaborative Theorem Proving by auggierose on Saturday November 30, 2013 @07:30AM (#6822961)
Yes, it will be open-source, and we will host it at https://github.com/proofpeer .

We will start coding full-time on it around February 2014.

If you want to collaborate, send an email to [email protected], or just follow us on Github.

There are no comments on this comment yet.