discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Proof Market: Submit Coq proof, get paid with Bitcoin
https://proofmarket.org/
30 comments
1/1/2014