@leanprover/infoview-api

v0.2.1-alpha.1

Types and API for @leanprover/infoview.

Readme Versions Dependencies Scripts

0.4.0 0.2.1 0.2.1-alpha.1 0.2.0 0.1.0

npm i @leanprover/[email protected]

Metadata

Apache-2.0
Whatever
Unknown
released 1/10/2023

Downloads

Maintainers