occupation
Software Developers
description
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
updated
mutable-state-inc/lean-collab
SkillsMP has collected 2 skills from mutable-state-inc/lean-collab. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 2
- GitHub stars
- 72
- GitHub forks
- 2
Skills in this repository
1 occupation categories · 100% classified
Showing 2 of 2 collected skills.
skill
occupation
description
updated
occupation
Software Developers
description
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
updated
Showing 2 of 2 collected skills.