@leanprover/infoview-api NPM | npm.io

0.7.0 • Published 11 months ago

Install

Weekly downloads

-

License

Apache-2.0

Repository

Last release

11 months ago

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

1 year ago

11 months ago

12 months ago

2 years ago

3 years ago

3 years ago

3 years ago

4 years ago