{"name":"vscode-extensions.leanprover.lean4","summary":"This extension provides VS Code support for the Lean 4 theorem prover and programming language","description":"","homepage_url":"https://github.com/leanprover/vscode-lean4","license":"Apache-2.0","attribute_paths":["vscode-extensions.leanprover.lean4"],"releases":[{"version":"0.0.240","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/inavnib2ndhnsmzy3yrqzb9y0igkrgr9-vscode-extension-leanprover-lean4-0.0.240","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/nhkaqdmgb031d55625gyrvc3w2hcydxl-vscode-extension-leanprover-lean4-0.0.240","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zryllrx2rrkr0ncv67saabc5gbqpjwa6-vscode-extension-leanprover-lean4-0.0.240","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.239","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/w9pb0rl8hy2ss7s47ag4a285clq46krf-vscode-extension-leanprover-lean4-0.0.239","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/a77pp95m3nrz0hcvvbgc8kgbkbn26kxc-vscode-extension-leanprover-lean4-0.0.239","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/mk6b6wazd3p21rni20d7akyrl3dvlihi-vscode-extension-leanprover-lean4-0.0.239","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.237","last_updated":"2026-07-23T05:10:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"7525d999cd850b9a488817abc89c75dc733acf17","date":"2026-07-23T05:10:05Z","outputs":[{"name":"out","path":"/nix/store/0x4bsqsmvl2gn6yfp1hwbd8ka0bbjahx-vscode-extension-leanprover-lean4-0.0.237","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"7525d999cd850b9a488817abc89c75dc733acf17","date":"2026-07-23T05:10:05Z","outputs":[{"name":"out","path":"/nix/store/lsfkjl51gl5xh0m57idaws21sggxpa0z-vscode-extension-leanprover-lean4-0.0.237","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/jlgkc54phl8919778simgfy607dyn2wh-vscode-extension-leanprover-lean4-0.0.237","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"7525d999cd850b9a488817abc89c75dc733acf17","date":"2026-07-23T05:10:05Z","outputs":[{"name":"out","path":"/nix/store/377ap0kk48jcc0v3hz8bn2vdlh9gc2ki-vscode-extension-leanprover-lean4-0.0.237","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.236","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/yy062fmihzzyby5570qwrh02jxcry46q-vscode-extension-leanprover-lean4-0.0.236","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/201vs5a6hgqgsdp56kkm2gnd6ag2lzrs-vscode-extension-leanprover-lean4-0.0.236","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/p5q0lh1nj1m6yxldc2g1jl4a2mqnbr42-vscode-extension-leanprover-lean4-0.0.236","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/4in9ymv6ng9qrn8yl73wfq7gld0pbjcw-vscode-extension-leanprover-lean4-0.0.236","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.234","last_updated":"2026-04-23T13:07:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/n36nkc4s5rd1znaa12a8j4vsc4nci2h2-vscode-extension-leanprover-lean4-0.0.234","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/3r58v921v87zm3xm6l60vr65bcx20gv0-vscode-extension-leanprover-lean4-0.0.234","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/72l8l91qhpbl33z58sxx6bhg06hfvbdh-vscode-extension-leanprover-lean4-0.0.234","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/pxzbizbmns6m6hkqsly9d0y3j4fh3zsx-vscode-extension-leanprover-lean4-0.0.234","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.229","last_updated":"2026-04-09T02:28:59Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db","date":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/8wrpsbvgpbxyjw5hcgknwwrksdyxhgnl-vscode-extension-leanprover-lean4-0.0.229","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db","date":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/fhbsgjfggz99lrj0k17l5imvg4jdjih7-vscode-extension-leanprover-lean4-0.0.229","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db","date":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/0cgp1hkzsd16jag43s2ybb0zyqn2zlfw-vscode-extension-leanprover-lean4-0.0.229","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"0f7663154ff2fec150f9dbf5f81ec2785dc1e0db","date":"2026-04-09T02:28:59Z","outputs":[{"name":"out","path":"/nix/store/rfvrzwqi1jyy6i2jf9mmba9wykivwl9m-vscode-extension-leanprover-lean4-0.0.229","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.226","last_updated":"2026-04-01T01:09:41Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/kddbdzyydg2p9ayldbam3zh0s63ssf45-vscode-extension-leanprover-lean4-0.0.226","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/1xaqzbgz94cxgkz99g9vjbb0qaaaf3bq-vscode-extension-leanprover-lean4-0.0.226","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/n92cnddr70czwn1rdxlvvsaaqnsybqm3-vscode-extension-leanprover-lean4-0.0.226","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"62e3050a29278c985725a86704faa1e99236b51a","date":"2026-04-01T01:09:41Z","outputs":[{"name":"out","path":"/nix/store/wbcr4bxdlc4jmh460mhvf15gvqdsckcb-vscode-extension-leanprover-lean4-0.0.226","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.225","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/1nm6mla5pkxgir923midsyx0h5jfsk4l-vscode-extension-leanprover-lean4-0.0.225","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/kpf0kx1bqid0wgzla9c4qmscnkmzl6id-vscode-extension-leanprover-lean4-0.0.225","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/r1dab7xp4kszah713620ayac9qr521pm-vscode-extension-leanprover-lean4-0.0.225","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/rxb7idldfbz8pifgqrfy9f0vfppvcai9-vscode-extension-leanprover-lean4-0.0.225","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.223","last_updated":"2026-02-23T15:40:43Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/r3mhigs678v5qmyl5dzpqw0ppgwrlg6p-vscode-extension-leanprover-lean4-0.0.223","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/zsk5k3lvqjygb5pzgjfjnnyrg35ggbcn-vscode-extension-leanprover-lean4-0.0.223","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/26n27ybmj91jc9yrsnfb7nwdj1gmaw0w-vscode-extension-leanprover-lean4-0.0.223","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/p18ziqwmhv8qsaw8i9hxnhz2lhc91pmh-vscode-extension-leanprover-lean4-0.0.223","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.221","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/w124pkxgrf1d8zakznfbfg41n8px706g-vscode-extension-leanprover-lean4-0.0.221","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/711k7bwhww2dbd0dy9np9i08acpza9rg-vscode-extension-leanprover-lean4-0.0.221","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/mi18cqmvrhyl2a94jv9r42r8nd6mnmxj-vscode-extension-leanprover-lean4-0.0.221","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vscode-extensions.leanprover.lean4","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/fy037wbml5n4bsszzkbry1wflmyyqwq5-vscode-extension-leanprover-lean4-0.0.221","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}