Beruf
Softwareentwickler
Beschreibung
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
Quellsprache: Englisch
Aktualisiert
mutable-state-inc/lean-collab
SkillsMP hat 2 Skills aus mutable-state-inc/lean-collab gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 2
- GitHub-Stars
- 72
- GitHub-Forks
- 2
Skills in diesem Repository
1 Berufskategorien · 100% klassifiziert
Es werden 2 von 2 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
Quellsprache: Englisch
Aktualisiert
Es werden 2 von 2 gesammelten Skills angezeigt.