{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40hyperpolymath/proven","name":"@hyperpolymath/proven","description":"Proven - Formally verified safety library for JavaScript","version":"0.9.0","softwareVersion":"0.9.0","license":"https://spdx.org/licenses/SSPL-1.0","codeRepository":"https://github.com/hyperpolymath/proven","url":"https://github.com/hyperpolymath/proven#readme","keywords":["proven","safe","verified","uuid","currency","money","phone","hex","validation","parsing","idris","formal-verification"],"maintainer":[{"@type":"Person","name":"hyperpolymath"}],"author":[{"@type":"Person","name":"hyperpolymath"}],"copyrightHolder":[{"@type":"Person","name":"hyperpolymath"}],"dateCreated":"2026-01-16","dateModified":"2026-01-16","datePublished":"2026-01-16","copyrightYear":2026,"downloadUrl":"https://registry.npmjs.org/@hyperpolymath/proven/-/proven-0.9.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","sameAs":["https://www.npmjs.com/package/@hyperpolymath/proven"]}