ocupación
Desarrolladores de software
descripción
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
Idioma del texto original: inglés
actualizado
mutable-state-inc/lean-collab
SkillsMP ha recopilado 2 skills de mutable-state-inc/lean-collab. Abre una skill para revisar su origen y sus detalles.
- Última actividad de origen registrada
- Catálogo de SkillsMP actualizado
- skills recopiladas
- 2
- Estrellas en GitHub
- 72
- Forks en GitHub
- 2
Skills en este repositorio
1 categorías ocupacionales · 100% clasificado
Mostrando 2 de 2 skills recopiladas.
skill
ocupación
descripción
actualizado
ocupación
Desarrolladores de software
descripción
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
Idioma del texto original: inglés
actualizado
Mostrando 2 de 2 skills recopiladas.