Total downloads
0
jroesch.lean
lean
7d gain
0
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
-
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- jroesch
- Name
- lean
- License
- Apache-2.0
- Repository
- https://github.com/leanprover/vscode-lean.git
- Reviews
- -
Taxonomy
Categories
Description
Lean 3 language support for VS Code
Archive
Release history
- 0.16.59 2024-06-25
- 0.16.58 2023-02-13
- 0.16.57 2023-01-10
- 0.16.56 2022-11-02
- 0.16.55 2022-09-14
- 0.16.54 2022-08-22
- 0.16.53 2022-06-24
- 0.16.52 2022-06-02
- 0.16.51 2022-05-30
- 0.16.50 2022-05-20
- 0.16.49 2022-05-19
- 0.16.48 2022-05-19
- 0.16.47 2022-05-14
- 0.16.46 2022-02-18
- 0.16.45 2022-01-24
- 0.16.44 2022-01-14
- 0.16.43 2022-01-07
- 0.16.42 2022-01-03
- 0.16.41 2021-12-03
- 0.16.40 2021-11-26
- 0.16.39 2021-07-09
- 0.16.38 2021-06-29
- 0.16.37 2021-06-25
- 0.16.36 2021-06-09
- 0.16.35 2021-06-07