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

Resources:

• Software (linux only). makebootstrap script if you want to create and supply bootstraps.
• Installation Guide for Proofgold on Debian
• Consensus (how to participate in creating blocks)
• Intuitionistic Higher Order Logic (the logical framework)
• Higher Order Hereditarily Finite Sets (the theory for reward bounties until Block 5000 at the end of 2020)
• Reward Bounties (a description of the kinds of reward bounty propositions until Block 5000 at the end of 2020)
• Publishing (how to publish documents and collect bounties)
• Forum (discussion forum; now defunct and only being used for announcements)
• memo.cash account (for public announcements)