issues
search
leanprover
/
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158
stars
48
forks
source link
Add Moogle 1.0 support to VSCode extension
#528
Open
jesse-michael-han
opened
13 hours ago