@leanprover/infoview-api NPM | npm.io

0.7.0 • Published 12 months ago

Install

Weekly downloads

-

License

Apache-2.0

Repository

Last release

12 months ago

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

1 year ago

12 months ago

1 year ago

2 years ago

3 years ago

3 years ago

3 years ago

4 years ago