GitHub
@leanprover/infoview-api
v0.2.1
Types and API for @leanprover/infoview.
Readme
Versions
Dependencies
Scripts
watch
tsc --watch
watchTest
tsc --watch
build
tsc
npm i @leanprover/
[email protected]
Metadata
Apache-2.0
Whatever
Unknown
released 1/15/2023
Downloads
Downloads Tab Here
Maintainers
gebner
clovett
vtec234