#001hol-light1 skills54999mis à jour 4 juin 2026100 % 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.4 juin 2026Affichage de 1 skills collectés sur 1.Charger 0 skills de plusChargement des skills...