occupation
Software Developers
description
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.
updated
jrh13/hol-light
SkillsMP has collected 1 skills from jrh13/hol-light. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 1
- GitHub stars
- 549
- GitHub forks
- 99
Skills in this repository
1 occupation categories · 100% classified
Showing 1 of 1 collected skills.
skill
occupation
description
updated
Showing 1 of 1 collected skills.