TY  - RPRT
TI  - Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
AU  - Sylvain Carré
AU  - Franck Gabriel
AU  - Clément Hongler
AU  - Gustavo Lacerda
AU  - Gloria Capano
PY  - 2021
UR  - https://arxiv.org/abs/2102.03044
ID  - 2102.03044
ER  -