{"name":"vscode-extensions.leanprover.lean4","version":"0.0.229","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":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/8wrpsbvgpbxyjw5hcgknwwrksdyxhgnl-vscode-extension-leanprover-lean4-0.0.229","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/fhbsgjfggz99lrj0k17l5imvg4jdjih7-vscode-extension-leanprover-lean4-0.0.229","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/0cgp1hkzsd16jag43s2ybb0zyqn2zlfw-vscode-extension-leanprover-lean4-0.0.229","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/rfvrzwqi1jyy6i2jf9mmba9wykivwl9m-vscode-extension-leanprover-lean4-0.0.229","default":true}]}}}