Proofgold is a cryptocurrency supporting theorem proving and formalization of mathematics.
Resources: