@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

Maintainers