{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:nix/python313Packages.leanclient?channel=unstable","name":"python313Packages.leanclient","description":"Python client for the Lean theorem prover LSP","version":"0.9.4","softwareVersion":"0.9.4","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/oOo0oOo/leanclient","url":"https://github.com/oOo0oOo/leanclient","keywords":["python"],"maintainer":[{"@type":"Person","name":null,"url":"https://github.com/remix7531"}],"author":[{"@type":"Person","name":null,"url":"https://github.com/remix7531"}],"copyrightHolder":[{"@type":"Person","name":null,"url":"https://github.com/remix7531"}],"dateCreated":"2026-04-21","dateModified":"2026-04-21","datePublished":"2026-04-21","copyrightYear":2026,"softwareHelp":{"@type":"WebSite","url":"https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/python-modules/leanclient/default.nix#L41"},"applicationCategory":"nixpkgs","runtimePlatform":"nixpkgs","sameAs":["https://search.nixos.org/packages?channel=unstable\u0026query=python313Packages.leanclient"]}