@leanprover/infoview
v0.7.1Dependencies (8)
marked tachyons es-module-shims @vscode/codicons react-fast-compare @leanprover/infoview-api @vscode/webview-ui-toolkit vscode-languageserver-protocol
Dev dependencies (16)
npm i @leanprover/[email protected]
Metadata
- Apache-2.0
- Whatever
- Unknown
- released 6/19/2024