We'd quite like types for https://github.com/leanprover/vscode-lean4, but they don't have this package on npm & can't download from github (maybe needs to be done in some other way).
Maybe we could create an issue asking them to expose the types/package.
These types
We'd quite like types for https://github.com/leanprover/vscode-lean4, but they don't have this package on npm & can't download from github (maybe needs to be done in some other way).
Maybe we could create an issue asking them to expose the types/package.
These types