Description
This extension provides VS Code support for the Lean 4 theorem prover and programming language.
package
vscode-extension-leanprover-lean4
Metadata
Version
0.0.221This extension provides VS Code support for the Lean 4 theorem prover and programming language.
0.0.221