Dexter: Decentralized exchange for Tezos, formal verification work by Nomadic Labs

Project Updates
1

In this week’s blog post, we discuss decentralized exchange with Dexter on Tezos. Learn how Nomadic Labs verified a functional specification of Dexter’s core smart contract using Mi-Cho-Coq :

https://blog.nomadic-labs.com/dexter-decentralized-exchange-for-tezos-formal-verification-work-by-nomadic-labs.html

6 Likes