A static verifer for Ethereum Smart Contracts written in Vyper
Primary LanguagePythonMozilla Public License 2.0MPL-2.0