GitHub
@leanprover/infoview-api
v0.1.0
Types and API for @leanprover/infoview.
Readme
Versions
Dependencies
Scripts
0.4.0
0.2.1
0.2.1-alpha.1
0.2.0
0.1.0
npm i @leanprover/
[email protected]
Metadata
Apache-2.0
Whatever
Unknown
released 7/26/2022
Downloads
Downloads Tab Here
Maintainers
vtec234