firecrawl/pdf-inspector
diegosouzapw/OmniRoute
unicity-aos/aos-ce
stablyai/orca
earendil-works/pi
// OWNER · openai · REPO SNAPSHOT
openai
Lean certificates accompanying proofs in mathematics and theoretical computer science
openaiSTARS100+0 · 7d
FORKS8+0 · 7d
CONTRIBUTORS0maintainer graph thin
OPEN ISSUES · PRS0· 0
LICENSE—no license file
LANGUAGELean
FOUNDED—
LOCATION—
MEMBERS—
PUBLIC REPOS—
TOTAL STARS—
FOCUS—
FUNDING—
//STAR HISTORY · 12M
+0 all-time-window
Star history not yet available
We don't have a sampled star timeline for openai/ten-proofs yet. The chart populates once the daily snapshot pass collects its first data points for this repo.
//WHY IT'S TRENDING· narrative synthesis · medium confidence
openai/ten-proofs is sitting at #1480 on the trending leaderboard with a pulse of 10/100 with no cross-source channels firing yet — GitHub-stars-only signal so far.
It sits at 100 stars without a fresh weekly delta on record — the trending placement here is steady-state interest in the Lean ai-ml space rather than a 7-day breakout.
Watch-outs: no tagged release on record (treat as pre-stable).
↻ refreshed 13m ago· next sync in 52m· sourced from 0 channels · 0 mentions / 24h
// RELATED REPOS · CROSS-SOURCE OVERLAP
#01
openai/codex
Rust ecosystem peer.
CO-MENTIONS · 30D (107 total)
40
10
48
8
1#02
thedotmack/claude-mem
agent-memoryai-agentsclaude-codeShared tag: agent-memory.
CO-MENTIONS · 30D (16 total)
21013#03
github/spec-kit
Python ecosystem peer.
CO-MENTIONS · 30D (19 total)
41032#04
openclaw/openclaw
TypeScript ecosystem peer.
CO-MENTIONS · 30D (53 total)
2610152#05
iOfficeAI/AionUi
agent-skillsai-agentsclaude-codeShared tag: agent-skills.
CO-MENTIONS · 30D (18 total)
117▌ FAQ · answers from the data spine
What is openai/ten-proofs?
Lean certificates accompanying proofs in mathematics and theoretical computer science
Who maintains ten-proofs?
Maintained by openai (the owner) on GitHub.
What language is ten-proofs written in?
Primarily Lean.
When was ten-proofs created? When was the last update?
Created August 1, 2026 · last commit August 1, 2026.
How do I install ten-proofs?
Clone the repo:
git clone https://github.com/openai/ten-proofs.gitIs ten-proofs actively maintained?
yes — actively maintained (recent commits)
Created
Updated
Last commit
//COMMENTS · 0
Sign in to join the discussion