@leanprover/infoview

v0.4.1-alpha.2
An interactive display for the Lean 4 theorem prover.

Readme Versions Dependencies Scripts

Dependencies (7)

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

Dev dependencies (16)

react rollup react-dom typescript @types/react react-popper @types/marked current-release @types/react-dom @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