mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-09-28 10:50:15 +00:00
22 lines
617 B
Nix
22 lines
617 B
Nix
{
|
|
lib,
|
|
vscode-utils,
|
|
}:
|
|
|
|
vscode-utils.buildVscodeMarketplaceExtension {
|
|
mktplcRef = {
|
|
name = "lean4";
|
|
publisher = "leanprover";
|
|
version = "0.0.239";
|
|
hash = "sha256-6XqjmClUzmyz1nkp/bLv5+F9cj7ZCp4+uAGIJgLDi+o=";
|
|
};
|
|
|
|
meta = {
|
|
description = "This extension provides VS Code support for the Lean 4 theorem prover and programming language";
|
|
downloadPage = "https://marketplace.visualstudio.com/items?itemName=leanprover.lean4";
|
|
homepage = "https://github.com/leanprover/vscode-lean4";
|
|
license = lib.licenses.asl20;
|
|
maintainers = with lib.maintainers; [ alexstaeding ];
|
|
};
|
|
}
|