Bruno Bernardo -

Not registered as user yet

Name:Bruno Bernardo

Affiliation:Nomadic Labs

Contributions

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