CompPoly

Public

A computable model of Polynomials in Lean.

Apache License 2.0

Updated Feb 5, 2026

Created Oct 22, 2025

10 stars

4 forks

0 watchers

17 open issues

Languages

Codebase composition by bytes

Top Contributors

21 commits

9 commits

8 commits

7 commits

7 commits

4 commits

3 commits

3 commits

2 commits

Recent Stargazers

4 months ago

3 months ago

3 months ago

3 months ago

3 months ago

2 months ago

about 1 month ago

26 days ago

17 days ago

5 days ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)277

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 17Closed Issues 58

Open Issues75

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

CompPoly