groupoid_model_in_lean4

Public

No description provided.

Updated Aug 25, 2024

Created Jul 16, 2024

0 stars

0 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

53 commits

42 commits

36 commits

28 commits

20 commits

4 commits

2 commits

1 commits

1 commits

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)7,482

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 29, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics