npmjs.org : @hyperpolymath/proven
Proven - Formally verified safety library for JavaScript
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/%40hyperpolymath/proven
Keywords:
proven
, safe
, verified
, uuid
, currency
, money
, phone
, hex
, validation
, parsing
, idris
, formal-verification
License: SSPL-1.0
Latest release: 15 days ago
First release: 15 days ago
Namespace: hyperpolymath
Downloads: 34 last month
Last synced: 5 days ago
No maintainers found.