#001hol-light1 skills54598تم التحديث 2026-06-04100% من المنشئskillالمهنةالوصفآخر تحديثhol-lightمطوّرو البرمجيات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.2026-06-04