lean4fork

lean4fork

André Dal Bosco

|
328 installs
| (0) | Free
Lean 4 language support for VS Code
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info