compfiles

Public

Catalog Of Math Problems Formalized In Lean

Apache License 2.0

Updated Feb 9, 2026

Created Dec 6, 2022

228 stars

57 forks

7 watchers

4 open issues

Languages

Codebase composition by bytes

Top Contributors

3103 commits

37 commits

28 commits

23 commits

20 commits

18 commits

17 commits

14 commits

9 commits

7 commits

Recent Stargazers

about 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

over 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)3,233

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 3Closed Issues 97

Open Issues100

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

compfiles