{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40joneugster/lean4","name":"@joneugster/lean4","description":"Lean 4 language support for VS Code","version":"0.0.143","softwareVersion":"0.0.143","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/leanprover-community/vscode-lean4","issueTracker":"https://github.com/leanprover/vscode-lean4/issues","url":"https://github.com/leanprover-community/vscode-lean4","keywords":["multi-root ready"],"programmingLanguage":{"@type":"ComputerLanguage","name":"TypeScript"},"maintainer":[{"@type":"Person","name":"joneugster"}],"author":[{"@type":"Person","name":"joneugster"}],"copyrightHolder":[{"@type":"Person","name":"joneugster"}],"dateCreated":"2024-05-02","dateModified":"2024-05-02","datePublished":"2024-05-02","copyrightYear":2024,"downloadUrl":"https://registry.npmjs.org/@joneugster/lean4/-/lean4-0.0.143.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"removed","sameAs":["https://www.npmjs.com/package/@joneugster/lean4"],"https://www.w3.org/ns/activitystreams#likes":313,"https://forgefed.org/ns#forks":104}