News for hackers. Stuff that matters.

A comment on Proof Market: Submit Coq proof, get paid with Bitcoin. Parent comment

Re:Proof Market: Submit Coq proof, get paid with Bitcoin by pirapira on Thursday January 02, 2014 @06:39AM (#6999157)
I added risks and complications. A feature called "bounty" is now available. Anyone can add bounty for a problem. The sum goes to the next solver.
[ Parent | on HN ]

There are no comments on this comment yet.