Sign in Sign up
npm

@leanprover/infoview

An interactive display for the Lean 4 theorem prover.

Latest release
Apr 13, 2026
Releases
33
Known CVEs
0
First release
Jul 26, 2022
License
Apache-2.0
View on Npm
Repository

Source

leanprover/vscode-lean4
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
33
Last 12 months
7
Cadence
~28 days
Dependencies
8

Releases per month

last 12 months

Release mix

  • minor 10
  • patch 20
  • pre 2
33 releases
Dependencies

Depends on

0.13.0

Used by

Nothing tracked depends on this yet.

Releases
Version Released
0.13.0 minor
0.12.0 minor
0.11.1 patch
0.11.0 minor
0.10.0 minor
0.9.0 minor
0.8.6 patch
0.8.5 patch
0.8.4 patch
0.8.3 patch
0.8.2 patch
0.8.1 patch
0.8.0 minor
0.7.9 patch
0.7.7 patch
0.7.6 patch
0.7.5 patch
0.7.4 patch
0.7.3 patch
0.7.2 patch
1–20 of 33