/esverify

ECMAScript verification with SMT solvers

Primary LanguageTypeScriptMIT LicenseMIT

Stargazers