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

Resources: