{"name":"vscode-extensions.leanprover.lean4","version":"0.0.223","summary":"This extension provides VS Code support for the Lean 4 theorem prover and programming language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80d901ec0377e19ac3f7bb8c035201e2e098cc97"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/r3mhigs678v5qmyl5dzpqw0ppgwrlg6p-vscode-extension-leanprover-lean4-0.0.223","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80d901ec0377e19ac3f7bb8c035201e2e098cc97"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/zsk5k3lvqjygb5pzgjfjnnyrg35ggbcn-vscode-extension-leanprover-lean4-0.0.223","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80d901ec0377e19ac3f7bb8c035201e2e098cc97"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/26n27ybmj91jc9yrsnfb7nwdj1gmaw0w-vscode-extension-leanprover-lean4-0.0.223","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80d901ec0377e19ac3f7bb8c035201e2e098cc97"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/p18ziqwmhv8qsaw8i9hxnhz2lhc91pmh-vscode-extension-leanprover-lean4-0.0.223","default":true}]}}}