#001hol-light1 skills54598atualizado 2026-06-04100% 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.2026-06-04