lean-collab

lean-collab enthält 2 gesammelte Skills von mutable-state-inc, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.

gesammelte Skills

Stars

aktualisiert

2026-01-25

Forks

Berufsabdeckung

1 Berufskategorien · 100% klassifiziert

Repository-Explorer

Skills in diesem Repository

Creator/Repository/Skill

Skill

Beruf

Beschreibung

Aktualisiert

Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.

Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.