search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158 stars 48 forks source link

fix: initial commit not working on fresh Git install #512

Closed mhuisi closed 2 months ago

mhuisi commented 2 months ago

Closes #510.