Contributor
@jormal
repos
4
ecosystems
2
languages
commits
833
The Michelson Symbolic vErifier
Information of asset ver.2
A Tool for Verifying and Refuting Smart Contract of Tezos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.