2 ms·
I've often thought about setting up a semi-automated "theorem bounty" site for formal proofs. Besides prizes for new or big discoveries, it'd also be a good way
by MichaelBurge 9y ago
I've often thought about setting up a semi-automated "theorem bounty" site for formal proofs. Besides prizes for new or big discoveries, it'd also be a good way to fund formalizing e.g. undergraduate textbooks on Ring Theory.
- chriswarbo 9y agoThere 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.