vscode-extensions.leanprover.lean4

This extension provides VS Code support for the Lean 4 theorem prover and programming language

Name

vscode-extension-leanprover-lean4

Homepage

• https://github.com/leanprover/vscode-lean4

Version

0.0.223

License

• Apache License 2.0

Maintainers

• Alexander Städing

Defined

Source