{"name":"vscode-extensions.leanprover.lean4","version":"0.0.240","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":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/inavnib2ndhnsmzy3yrqzb9y0igkrgr9-vscode-extension-leanprover-lean4-0.0.240","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/nhkaqdmgb031d55625gyrvc3w2hcydxl-vscode-extension-leanprover-lean4-0.0.240","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"vscode-extensions.leanprover.lean4"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/zryllrx2rrkr0ncv67saabc5gbqpjwa6-vscode-extension-leanprover-lean4-0.0.240","default":true}]}}}