@joneugster/infoview NPM | npm.io

0.6.2 • Published 1 year ago

Install

Weekly downloads

-

License

Apache-2.0

Repository

Last release

1 year ago

Lean 4 Infoview

Temporary WIP version. The real package is at https://www.npmjs.com/package/@leanprover/infoview

@joneugster/infoview-api @vscode/codicons @vscode/webview-ui-toolkit es-module-shims marked react-fast-compare tachyons vscode-languageserver-protocol

@joneugster/lean4

1 year ago

1 year ago

1 year ago

1 year ago

1 year ago

1 year ago