@leanprover/infoview
v0.1.0build
rollup --config --environment NODE_ENV:production
watch
rollup --config --environment NODE_ENV:development --watch
watchTest
npm run watch
npm i @leanprover/[email protected]
Metadata
- Apache-2.0
- Whatever
- Unknown
- released 7/26/2022