@leanprover/infoview-api NPM | npm.io

0.7.0 • Published 8 months ago

Install

Weekly downloads

-

License

Apache-2.0

Repository

Last release

8 months ago

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

11 months ago

8 months ago

9 months ago

2 years ago

3 years ago

3 years ago

3 years ago

3 years ago