princess

Public

The Princess Theorem Prover

Other

Updated Feb 9, 2026

Created May 18, 2022

31 stars

9 forks

3 watchers

8 open issues

Languages

Codebase composition by bytes

Top Contributors

1856 commits

40 commits

21 commits

2 commits

1 commits

1 commits

Recent Stargazers

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

about 3 years ago

about 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)55,701

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 8Closed Issues 25

Open Issues33

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

princess