package

vscode-extension-jroesch-lean

Description

Lean 3 language support for VS Code.

Metadata

Version

0.16.59

License

Status

Source

pkgs/applications/editors/vscode/extensions/default.nix:2771

Homepage

https://github.com/leanprover/vscode-lean

Maintainers (1)

Robert Schütz