ProofGold Lava
A client for the ProofGold blockchain.
Proofgold is a cryptocurrency supporting theorem proving and formalization of mathematics.
Current Software on GitHub
Paper explaining ProofGold and the Lava client
Recent snapshots of the database