{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40bryangingechen/lean-client-js-browser","name":"@bryangingechen/lean-client-js-browser","description":"Fork of lean-client-js-browser: Interface to the Lean server","version":"1.4.0","softwareVersion":"1.4.0","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/bryangingechen/lean-client-js","issueTracker":"https://github.com/bryangingechen/lean-client-js/issues","url":"https://github.com/bryangingechen/lean-client-js#readme","programmingLanguage":{"@type":"ComputerLanguage","name":"TypeScript"},"maintainer":[{"@type":"Person","name":"bryangingechen"}],"author":[{"@type":"Person","name":"bryangingechen"}],"copyrightHolder":[{"@type":"Person","name":"bryangingechen"}],"dateCreated":"2019-07-22","dateModified":"2020-05-22","datePublished":"2020-05-22","copyrightYear":2019,"downloadUrl":"https://registry.npmjs.org/@bryangingechen/lean-client-js-browser/-/lean-client-js-browser-1.4.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"active","sameAs":["https://www.npmjs.com/package/@bryangingechen/lean-client-js-browser"],"https://www.w3.org/ns/activitystreams#likes":1,"https://forgefed.org/ns#forks":2}