#001hol-lightskills 1개549992026년 6월 4일 업데이트제작자 내 100%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년 6월 4일수집된 skill 1개 중 1개를 표시합니다.skills 0개 더 불러오기skills 불러오는 중...