Sign in Sign up
npm

@leanprover/infoview

VS Code extension for the Lean 4 programming language and theorem prover

npm View on Npm github View on Github

Activity

Latest release
2d ago
Total releases
34
Cadence
~29 days
Last 12 months
5

Reach

Stars
316

Details

License
Apache-2.0
First release
Jul 26, 2022
Releases
Version Released
0.14.0 minor
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