#001hol-light1 skills54598mis à jour 2026-06-04100% du créateurskillmétierdescriptionmis à jourhol-lightDéveloppeurs de logicielsProve 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