leanprover / vscode-lean4Links

Visual Studio Code extension for the Lean 4 proof assistant
214Updated last month

Alternatives and similar repositories for vscode-lean4

Users that are interested in vscode-lean4 are comparing it to the libraries listed below

Sorting: