vscode-extensions.leanprover

Showing entries 1-1 out of 1.

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