#6 today
▲ 1
openai/ten-proofs
Lean AI
Lean certificates accompanying proofs in mathematics and theoretical computer science
Created Aug 1, 2026
- Stars
- 221
- Today
- +62
- Forks
- 19
- Quality
- 90/100
- Momentum
- 25
First trending
Aug 1, 2026
first spotted on the list
Best rank
#1
reached #1 on trending
Appearances
3
times on the trending list
Quality score
90
out of 100
Momentum
25
trend strength indicator
Star velocity
37
stars per day since creation
Activity — last 60 days
daily counts, collected every 6 hours- Stars
- Forks
- Merged PRs
- Issues
- Closed issues
Collecting activity data since launch — check back in a few days.
Star history
total stars per snapshotRank history
position on trending · lower is betterStars badge
Show current stars in your README or profile. Auto-updates every 6 hours.
Markdown
[](https://www.notionpulse.cc/repo/openai/ten-proofs) HTML
<a href="https://www.notionpulse.cc/repo/openai/ten-proofs"><img src="https://www.notionpulse.cc/api/badge/openai/ten-proofs.svg" alt="openai/ten-proofs stars badge" /></a> Repository of the Day
Repository of the Week
Repository of the Month
