theoremts-cli
v0.3.2
Published
CLI for Theorem — formal verification for TypeScript
Maintainers
Readme
theoremts-cli
CLI for Theorem — formal verification for TypeScript.
npm install -D theoremts-cli
theorem verify src/ # prove contracts
theorem scan src/ # detect risks (alpha)
theorem suggest src/ # auto-generate contracts (alpha)See full documentation.
