{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/lean4-code-actions","name":"lean4-code-actions","description":"Refactorings and snippets for Lean 4","version":"1.1.32","softwareVersion":"1.1.32","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/DenisGorbachev/vscode-lean4-code-actions","issueTracker":"https://github.com/DenisGorbachev/vscode-lean4-code-actions/issues","keywords":["Refactor","Rename","Move","Snippet"],"programmingLanguage":{"@type":"ComputerLanguage","name":"TypeScript"},"maintainer":[{"@type":"Person","name":"dengorbachev"}],"author":[{"@type":"Person","name":"dengorbachev"}],"copyrightHolder":[{"@type":"Person","name":"dengorbachev"}],"dateCreated":"2024-04-29","dateModified":"2024-04-29","datePublished":"2024-04-29","copyrightYear":2024,"downloadUrl":"https://registry.npmjs.org/lean4-code-actions/-/lean4-code-actions-1.1.32.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"active","sameAs":["https://www.npmjs.com/package/lean4-code-actions"],"https://www.w3.org/ns/activitystreams#likes":7,"https://forgefed.org/ns#forks":1}