@leanprover/infoview

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

Readme Versions Dependencies Scripts

test

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

Downloads