ocupação
Desenvolvedores de software
descrição
Prove theorems in HOL Light via MCP tools. Use when the user asks to prove a theorem, verify a proof, or work with HOL Light tactics, goals, or lemmas.
Idioma do texto original: inglês
atualizado
jrh13/hol-light
O SkillsMP coletou 1 skills de jrh13/hol-light. Abra uma skill para revisar a origem e os detalhes.
- Última atividade de origem registrada
- Catálogo do SkillsMP atualizado
- skills coletadas
- 1
- Estrelas no GitHub
- 549
- Forks no GitHub
- 99
Skills neste repositório
1 categorias ocupacionais · 100% classificado
Mostrando 1 de 1 skills coletadas.
skill
ocupação
descrição
atualizado
Mostrando 1 de 1 skills coletadas.