Not registered as user yet

Name:Raphaël Cauderlier
Affiliation:Nomadic Labs

Contributions

CPP 2021 Author of Formally Verified Decentralized Exchange with Mi-Cho-Coq within the Lightning Talks-track