职业分类
软件开发工程师
描述
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
原文语言：英语
更新
mutable-state-inc/lean-collab
SkillsMP 已收集 mutable-state-inc/lean-collab 中的 2 个 Skill。打开任一 Skill 可查看来源和详情。
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 2
- GitHub 星标
- 72
- GitHub Forks
- 2
这个仓库中的 skills
1 个职业分类 · 已分类 100%
已展示 2 / 2 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
软件开发工程师
描述
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
原文语言：英语
更新
已展示 2 / 2 个已收集 Skill。