{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/formality-core-stdlib","name":"formality-core-stdlib","description":"Specification of the Formality proof and programming language","version":"0.1.0","softwareVersion":"0.1.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/moonad/formality-core","issueTracker":"https://github.com/Soonad/Formality-Core/issues","url":"https://github.com/moonad/formality-core#readme","programmingLanguage":{"@type":"ComputerLanguage","name":"JavaScript"},"maintainer":[{"@type":"Person","name":"maiavictor"}],"author":[{"@type":"Person","name":"maiavictor"}],"copyrightHolder":[{"@type":"Person","name":"maiavictor"}],"dateCreated":"2019-06-12","dateModified":"2019-06-12","datePublished":"2019-06-12","copyrightYear":2019,"downloadUrl":"https://registry.npmjs.org/formality-core-stdlib/-/formality-core-stdlib-0.1.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"active","sameAs":["https://www.npmjs.com/package/formality-core-stdlib"],"https://www.w3.org/ns/activitystreams#likes":41,"https://forgefed.org/ns#forks":11}