lean4

Public

Lean4 work in progress repo

Apache License 2.0

Updated Aug 26, 2025

Created Jun 15, 2020

0 stars

0 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

23239 commits

4680 commits

1184 commits

1013 commits

988 commits

826 commits

438 commits

436 commits

419 commits

330 commits

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 0

Open Issues0

Activity Peak

Most recent day with highest activityJan 25, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics