leanprover.lean4

Lean 4

Total downloads

121,243

7d gain

1,488

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

Programming Languages

Description

Lean 4 language support for VS Code

Archive

Release history

25 latest releases