You are viewing a single comment's thread from:RE: Formal Verification of Smart Contracts and WrenView the full contextgekko (52)in #steem • 9 years ago I'll definitely check it out! 8]