compfiles

Public

Catalog Of Math Problems Formalized In Lean

Apache License 2.0

Updated Feb 9, 2026

Created Sep 30, 2025

0 stars

0 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

3102 commits

37 commits

28 commits

23 commits

20 commits

18 commits

17 commits

14 commits

9 commits

7 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 activityFeb 9, 2026 • 3 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics