hol
HOL4 interactive proof development. Use when working with HOL4 proofs, .sml theorem files, Holmake builds, or hol-agent-helper.sh sessions. (project)
$ Instalar
git clone https://github.com/charles-cooper/hol-agents /tmp/hol-agents && cp -r /tmp/hol-agents/legacy/skills/hol-script-legacy ~/.claude/skills/hol-agents// tip: Run this command in your terminal to install the skill
SKILL.md
name: hol description: HOL4 interactive proof development. Use when working with HOL4 proofs, .sml theorem files, Holmake builds, or hol-agent-helper.sh sessions. (project)
Primary agent: see operator.md Subagents: see itp.md or holmake.md
Repository
charles-cooper
Author
charles-cooper/hol-agents/legacy/skills/hol-script-legacy
3
Stars
1
Forks
Updated3d ago
Added1w ago