paperproof
paperproof copied to clipboard
extension - we want types from vscode-lean4
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