@article{smartproofsviasmartcontractssuccinctand,
  title = {Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets},
  author = {Sylvain Carré and Franck Gabriel and Clément Hongler and Gustavo Lacerda and Gloria Capano},
  year = {2021},
  eprint = {2102.03044},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2102.03044v4},
}