@emyann/tsverify
中文文档Prove laws of ordinary TypeScript for every input, or get an input that breaks one: read from source, solved by Z3.
Prove laws of ordinary TypeScript for every input, or get an input that breaks one: read from source, solved by Z3.