Total downloads
116,597
Cumulative since first snapshot
leanprover.lean4
Lean 4
7d gain
0
Rolling weekly delta
Rating
5.00
/ 5
1 review
Version
0.0.238
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- leanprover
- Name
- lean4
- License
- Apache-2.0
- Homepage
- https://lean-lang.org
- Repository
- https://github.com/leanprover/vscode-lean4.git
- Reviews
- 1
Taxonomy
Categories
Description
Lean 4 language support for VS Code
Archive