lean-dag

Public

Proof state graph generator

Updated Feb 7, 2026

Created Feb 1, 2026

0 stars

0 forks

0 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

721 commits

223 commits

33 commits

9 commits

4 commits

3 commits

1 commits

1 commits

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)60,854

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 0

Open Issues1

Activity Peak

Most recent day with highest activityFeb 7, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics