PrototypeCommon
openai/cdc-lean
No description.
- Owner
- openai (organization)
- Stars
- Stars: 136
- Forks
- Forks: 19
- Language
- Lean
- License
- None
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by openai
All 187 repos by openai- openai/codexStars: 132,792RustLTS
- openai/whisperStars: 111,750PythonLTS
- openai/openai-cookbookStars: 76,911Jupyter NotebookLTS
- openai/gymStars: 37,231PythonLTS
- openai/codex-plugin-ccStars: 34,797JavaScriptLTS
- openai/CLIPStars: 34,553Jupyter NotebookLTS
Nearby in Lean
All Lean repos- b-mehta/formalising-mathematics-notesStars: 140LeanPrototype
- goedelcodeprover/Goedel-Code-ProverStars: 138LeanPrototype
- leanprover/reference-manualStars: 137LeanPrototype
- jesse-michael-han/lean-gptfStars: 135LeanPrototype
- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype
- opencompl/veirStars: 134LeanPrototype