Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

joneugster

@joneugster/infoview 0.0.0 unpublished
An interactive display for the Lean 4 theorem prover.
13 versions - Latest release: almost 2 years ago - 708 downloads last month - 1 maintainer
@joneugster/infoview-api 0.4.2 unpublished
Types and API for @leanprover/infoview.
3 versions - Latest release: almost 2 years ago - 208 downloads last month - 1 maintainer
@joneugster/lean4 0.0.143 removed
Lean 4 language support for VS Code
1 version - Latest release: almost 2 years ago - 122 stars on GitHub - 1 maintainer