@leanprover/infoview
v0.2.0Dependencies (6)
marked tachyons @vscode/codicons react-fast-compare @leanprover/infoview-api vscode-languageserver-protocol
Dev dependencies (13)
npm i @leanprover/[email protected]
Metadata
- Apache-2.0
- Whatever
- Unknown
- released 9/15/2022