@leanprover/infoview
v0.4.2Dependencies (7)
marked tachyons es-module-shims @vscode/codicons react-fast-compare @leanprover/infoview-api vscode-languageserver-protocol
Dev dependencies (16)
npm i @leanprover/[email protected]
Metadata
- Apache-2.0
- Whatever
- Unknown
- released 1/15/2023