@leanprover/infoview
v0.7.4test
tsc -p test/tsconfig.json
build
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 10/16/2024