Login / Signup
Gloria Capano
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Theorem Prover
Smart Environments
Electronic Commerce
Top Venues
CoRR
</>
Publications
</>
Sylvain Carré
,
Franck Gabriel
,
Clément Hongler
,
Gustavo Lacerda
,
Gloria Capano
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets.
CoRR
(2021)