Carré, et al.. Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets. 13 Oct. 2021.