GitHub
@leanprover/infoview-api
v0.4.0
Types and API for @leanprover/infoview.
Readme
Versions
Dependencies
Scripts
Dependencies (0)
No dependencies
Dev dependencies (2)
typescript
vscode-languageserver-protocol
npm i @leanprover/infoview-api
Metadata
Apache-2.0
Whatever
Unknown
released 5/7/2024
Downloads
Downloads Tab Here
Maintainers
mhuisi
gebner
clovett
vtec234