P proofmarket.org Proof Market: Submit Coq proof, get paid with Bitcoin 92 points waffle_ss 13 years ago 30 comments
