nixsearch / pkg / vscode-extensions.leanprover.lean4
vscode-extensions.leanprover.lean4
This extension provides VS Code support for the Lean 4 theorem prover and programming language
version0.0.239
attributevscode-extensions.leanprover.lean4
rev34ca302a9572963c02e385c056be37c85ff51b77 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add vscode-extensions.leanprover.lean4@0.0.239
$ nix shell github:NixOS/nixpkgs/34ca302a9572963c02e385c056be37c85ff51b77#vscode-extensions.leanprover.lean4
JSON: /v2/resolve?name=vscode-extensions.leanprover.lean4&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.0.239resolved | ✓ | ✓ | – | ✓ | vscode-extensions.leanprover.lean4 |
02f5696b0e | ||
| 0.0.237 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
varies | ||
| 0.0.236 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
4a29d733e8 | ||
| 0.0.234 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
01fbdeef22 | ||
| 0.0.229 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
0f7663154f | ||
| 0.0.226 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
62e3050a29 | ||
| 0.0.225 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
09061f748e | ||
| 0.0.223 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
80d901ec03 | ||
| 0.0.221 | ✓ | ✓ | ✓ | ✓ | vscode-extensions.leanprover.lean4 |
a1bab9e494 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.