invariants-sidecar
BSD-3-ClauseLibrary-declared invariants as verified data: the static-land core — a dictionary completer and a law/consistency property-test generator.
100
Security score
0 known advisories in v0.0.1
Weekly downloads
—
Unpacked size
47.0 kB
Dependencies
0
Last publish
6 days ago
Security advisories
No known vulnerabilities affect v0.0.1.