@leanprover/infoview-api

v0.1.0

Types and API for @leanprover/infoview.

Readme Versions Dependencies Scripts

ERROR: No README data found!

npm i @leanprover/[email protected]

Metadata

Apache-2.0
Whatever
Unknown
released 7/26/2022

Downloads

Maintainers