{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40joneugster/infoview-api","name":"@joneugster/infoview-api","description":"Types and API for @leanprover/infoview.","version":"0.4.3","softwareVersion":"0.4.3","license":"https://spdx.org/licenses/Apache-2.0","maintainer":[{"@type":"Person","name":"joneugster"}],"author":[{"@type":"Person","name":"joneugster"}],"copyrightHolder":[{"@type":"Person","name":"joneugster"}],"dateCreated":"2024-04-29","dateModified":"2024-05-27","datePublished":"2024-05-27","copyrightYear":2024,"downloadUrl":"https://registry.npmjs.org/@joneugster/infoview-api/-/infoview-api-0.4.3.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"unpublished","sameAs":["https://www.npmjs.com/package/@joneugster/infoview-api"]}