ProofGold Lava
A client for the ProofGold blockchain.
Proofgold is a cryptocurrency supporting theorem proving and formalization of mathematics.
Software
Paper explaining ProofGold and the Lava client