Open Julian opened 7 months ago
Particularly ones from https://github.com/leanprover/vscode-lean4/pull/302/files
Particularly ones from https://github.com/leanprover/vscode-lean4/pull/302/files