⌘K

openai

math

AI新项目 (90天内)

在 GitHub 打开

Star

17k

累计收录

Fork1.9k开源分支贡献

语言Lean核心开发语言

创建于2026-10-06已运营 0.1 年

最近推送2026-10-26最新代码提交

Star 走势

已连续追踪 27 天每日快照数据

期间增长:+17k (1699400.0%)