Scribble is a verification language and runtime verification tool that translates high-level specifications into solidity code. It allows you to annotate a solidity smart contract with properties.
Telegram：https://t.me/completechain
Twitter：https://twitter.com/Complete_Chain
Email: Complete_Chain@outlook.com
