GitHub Analytics

GitHub Analytics

lean-explore

Public

A search engine for Lean 4 declarations

Apache License 2.0

Updated Feb 9, 2026

Created May 17, 2025

49 stars

12 forks

5 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

JU justincasher

163 commits

Recent Stargazers

9 months ago

9 months ago

JO jonathan-laurent

9 months ago

JU justincasher

9 months ago

9 months ago

9 months ago

BU bushwallyta271828

9 months ago

AD adityabantwal

9 months ago

8 months ago

8 months ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)1,294

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 68

Open Issues68

Activity Peak

Most recent day with highest activityFeb 9, 2026 • 3 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.