@leanprover/infoview
v0.7.6Dependencies (7)
tachyons es-module-shims @vscode/codicons react-fast-compare @leanprover/infoview-api @vscode/webview-ui-toolkit vscode-languageserver-protocol
Dev dependencies (22)
react rollup react-dom typescript remark-math @types/react react-markdown rehype-mathjax current-release @types/react-dom highlightjs-lean @floating-ui/react @rollup/plugin-url @rollup/plugin-json @rollup/plugin-terser @rollup/plugin-replace rollup-plugin-css-only @rollup/plugin-commonjs react-syntax-highlighter @rollup/plugin-typescript @rollup/plugin-node-resolve @types/react-syntax-highlighter
npm i @leanprover/[email protected]
Metadata
- Apache-2.0
- Whatever
- Unknown
- released 10/17/2024