@leanprover/infoview
v0.7.7Dependencies (7)
@leanprover/infoview-api @vscode/codicons @vscode/webview-ui-toolkit es-module-shims react-fast-compare tachyons vscode-languageserver-protocol
Dev dependencies (22)
@floating-ui/react @rollup/plugin-commonjs @rollup/plugin-json @rollup/plugin-node-resolve @rollup/plugin-replace @rollup/plugin-terser @rollup/plugin-typescript @rollup/plugin-url @types/react @types/react-dom @types/react-syntax-highlighter current-release highlightjs-lean react react-dom react-markdown react-syntax-highlighter remark-math rehype-mathjax rollup rollup-plugin-css-only typescript