vscode-lean4

Public

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

Updated Feb 6, 2026

Created Dec 31, 2020

250 stars

84 forks

9 watchers

61 open issues

Languages

Codebase composition by bytes

Top Contributors

812 commits

576 commits

370 commits

285 commits

220 commits

164 commits

77 commits

63 commits

22 commits

18 commits

Recent Stargazers

about 5 years ago

about 5 years ago

about 5 years ago

about 5 years ago

about 5 years ago

about 5 years ago

about 5 years ago

about 5 years ago

about 5 years ago

almost 5 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)12,509

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 16Closed Issues 84

Open Issues100

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 5 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

vscode-lean4