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:34PM (#6997871)
I wonder which is easier to encode, natural deduction or Hilbert style.
[ Parent | on HN ]

There are no comments on this comment yet.