Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on ProofPeer – Collaborative Theorem Proving. Parent comment
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.
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.