Sign in Sign up
npm

@leanprover/infoview

An interactive display for the Lean 4 theorem prover.

npm View on Npm github View on Github

Activity

Latest release
5mo ago
Total releases
33
Cadence
~28 days
Last 12 months
5

Reach

Stars
—

Details

License
Apache-2.0
First release
Jul 26, 2022
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
0.7.1 patch
0.7.0 minor
0.4.5 patch
0.4.4 patch
0.4.3 patch
0.4.2 patch
0.4.2-alpha.1 pre
0.4.1-alpha.2 pre
0.4.1 patch
0.4.0 minor
0.3.0 minor
0.2.0 minor
0.1.0 initial