@leanprover/infoview
v0.4.1Dependencies (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 12/5/2022