issues
search
leanprover
/
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
170
stars
49
forks
source link
doc: attempt to fix broken marketplace links
#502
Closed
mhuisi
closed
4 months ago