@misc{indiciae1bf360fa23d2,
  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},
  url = {https://arxiv.org/abs/2102.03044},
  note = {Source identifier: 2102.03044}
}