paperproof

Public

Lean theorem proving interface which feels like pen-and-paper proofs.

MIT License

Updated Jan 27, 2026

Created Mar 16, 2023

486 stars

16 forks

11 watchers

16 open issues

Languages

Codebase composition by bytes

Top Contributors

721 commits

223 commits

4 commits

3 commits

1 commits

1 commits

Recent Stargazers

almost 3 years ago

almost 3 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)60,565

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 16Closed Issues 50

Open Issues66

Activity Peak

Most recent day with highest activityJan 29, 2026 • 6 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

paperproof