There is (was? site doesn't seem to load for me..) a "bitcoins for formal proofs" site called Proof Market https://slawekk.wordpress.com/2014/01/11/proof-market

There is (was? site doesn't seem to load for me..) a "bitcoins for formal proofs" site called Proof Market https://slawekk.wordpress.com/2014/01/11/proof-market https://slawekk.wordpress.com/2014/01/11/proof-market Theorems and proofs can be given in Coq or Agda format. If they pass the language's checker, bitcoins are dispensed.