search

leanprover / vscode-lean4

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

fix: do not use currentScript attribute #471

Closed mhuisi closed 5 months ago