❤
npm
Sign UpSign In

@leanprover/infoview-api
TypeScript icon, indicating that this package has built-in type declarations

0.7.0 • Public • Published
This package does not have a README. Add a README to your package so that users know how to get started.

Readme

Keywords

none

Package Sidebar

Install

npm i @leanprover/infoview-api

Weekly Downloads

94

Version

0.7.0

License

Apache-2.0

Unpacked Size

45.1 kB

Total Files

19

Last publish

Collaborators

  • clovett
  • gebner
  • vtec234
  • mhuisi
Try on RunKit
Report malware