GitHub repository: levjj/esverify
Primary language: TypeScript
Created: 2016-12-01T02:42:31Z
Description: ECMAScript verification with SMT solvers