#001hol-light1 skills54999atualizado 4 de jun. de 2026100% do criadorskillocupaçãodescriçãoatualizadohol-lightDesenvolvedores de softwareProve 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.4 de jun. de 2026Mostrando 1 de 1 skills coletadas.Carregar mais 0 skillsCarregando skills...