Sylvain Carré
@SylvainCarr2
Followers
14
Following
5
Media
0
Statuses
6
PhD in Economics (EPFL) Professor @ Université Paris-Dauphine Fintech, books, chess
Joined February 2021
RT @SprigProofs: Thank you @AlgoFoundation for unlocking the second wave of funding of the SPRIG project following the completion of the ce….
0
3
0
RT @SprigProofs: Thank you @AlgoFoundation for the funding! . Our developers are working hard to bring the innovative vision of SPRIG to th….
0
4
0
Looking forward to @HonglerClement 's talk about our #SPRIG protocol tomorrow in @tarunchitra 's Clubhouse !
0
1
3
RT @FranckGabriel6: Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets- https://t….
arxiv.org
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, proofs are...
0
2
0
New paper: we suggest a decentralized proof protocol with various potential applications. Fantastic team @FranckGabriel6 , Clément Hongler, Gustavo Lacerda and Gloria Capano!.
arxiv.org
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, proofs are...
0
0
2