Proof Market: Submit Coq proof, get paid with Bitcoin

Re:Proof Market: Submit Coq proof, get paid with Bitcoin by pirapira on Wednesday January 01, 2014 @09:11PM (#6997807)

I can mix both approaches. The buyer and other people can stash up bounty, which the first prover gets. I have not implemented this lest "bitcoin stolen from Coq proof exchange".

[ Parent | on HN ]

Re:Proof Market: Submit Coq proof, get paid with Bitcoin by tsewlliw on Thursday January 02, 2014 @04:14AM (#6998824)

Way to avoid arbitrary risks and complications!

[ Parent | on HN ]

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 ]