@leanprover/infoview-api NPM | npm.io

0.4.0 • Published 3 days ago

Install

Weekly downloads

-

License

Apache-2.0

Repository

Last release

3 days ago

@everything-registry/sub-chunk-540 @infinitebrahmanuniverse/nolb-_lea @leanprover/infoview

3 days ago

1 year ago

1 year ago

1 year ago

2 years ago