@leanprover/infoview

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

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

Downloads

Maintainers