ProofGold Lava

A client for the ProofGold blockchain.

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