métier
Développeurs de logiciels
description
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
Langue du texte source : anglais
mis à jour
mutable-state-inc/lean-collab
SkillsMP a collecté 2 skills depuis mutable-state-inc/lean-collab. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 2
- Étoiles GitHub
- 72
- Forks GitHub
- 2
Skills dans ce dépôt
1 catégories métier · 100% classifié
Affichage de 2 skills collectés sur 2.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
Langue du texte source : anglais
mis à jour
Affichage de 2 skills collectés sur 2.