@leanprover-community/proofwidgets4 NPM | npm.io

0.1.0 • Published 12 months ago

Install

Weekly downloads

-

License

Apache-2.0

Repository

Last release

12 months ago

@leanprover/infoview @penrose/core @react-three/drei @react-three/fiber @svgdotjs/svg.js d3 deep-equal react react-dom react-d3-tree recharts use-resize-observer vscode-languageserver-protocol

12 months ago