@leanprover/infoview

v0.7.2
An interactive display for the Lean 4 theorem prover.

Readme Versions Dependencies Scripts

Dependencies (8)

marked tachyons es-module-shims @vscode/codicons react-fast-compare @leanprover/infoview-api @vscode/webview-ui-toolkit vscode-languageserver-protocol

Dev dependencies (16)

react rollup react-dom typescript @types/react @types/marked current-release @types/react-dom @floating-ui/react @rollup/plugin-url @rollup/plugin-terser @rollup/plugin-replace rollup-plugin-css-only @rollup/plugin-commonjs @rollup/plugin-typescript @rollup/plugin-node-resolve
npm i @leanprover/[email protected]

Metadata

Downloads