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 Wednesday January 01, 2014 @09:32PM (#6997863)
"admit" does not pass the checker right now. coqchk -o is used to detect those assumptions.
[ Parent | on HN ]

There are no comments on this comment yet.