ProofBounty is Coming Soon

We’re putting the final polish on a platform for posting and solving formal math challenges backed by real bounties.

Please check back soon!