ocupação
Desenvolvedores de software
descrição
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
Idioma do texto original: inglês
atualizado
mutable-state-inc/lean-collab
O SkillsMP coletou 2 skills de mutable-state-inc/lean-collab. Abra uma skill para revisar a origem e os detalhes.
- Última atividade de origem registrada
- Catálogo do SkillsMP atualizado
- skills coletadas
- 2
- Estrelas no GitHub
- 72
- Forks no GitHub
- 2
Skills neste repositório
1 categorias ocupacionais · 100% classificado
Mostrando 2 de 2 skills coletadas.
skill
ocupação
descrição
atualizado
ocupação
Desenvolvedores de software
descrição
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
Idioma do texto original: inglês
atualizado
Mostrando 2 de 2 skills coletadas.