Licence
Apache-2.0
Version
0.4.0
Deps
8
Size
282 kB
Vulns
0
Weekly
0
Health report in progress
@invariant-app/verifier is in the index but its full report — health score, vulnerabilities, README, dependency tree and version history — hasn't been computed yet. It is queued now; this page updates automatically once it lands, usually within minutes.
Proves a release is safe: lens laws, chain equivalence, differential base-vs-head, conformance, and the evidence records for each
At a glance
- Latest version
- 0.4.0
- Weekly downloads
- 0
- License
- Apache-2.0
- Dependencies
- 8
- TypeScript types
- none
- Module format
- ESM
- Node
- >=22.12
Maintainers
akirtania17