ocupación
Desarrolladores de software
descripción
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 del texto original: inglés
actualizado
jrh13/hol-light
SkillsMP ha recopilado 1 skills de jrh13/hol-light. Abre una skill para revisar su origen y sus detalles.
- Última actividad de origen registrada
- Catálogo de SkillsMP actualizado
- skills recopiladas
- 1
- Estrellas en GitHub
- 549
- Forks en GitHub
- 99
Skills en este repositorio
1 categorías ocupacionales · 100% clasificado
Mostrando 1 de 1 skills recopiladas.
skill
ocupación
descripción
actualizado
Mostrando 1 de 1 skills recopiladas.