Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets

Sylvain Carré, Franck Gabriel, Clément Hongler +2

Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, p…