菜单
hol-light 收录了来自 jrh13 的 1 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
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.