Post and receive prizes for formal proofs of theorems