acorn-installation
Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acorn for the first time.
$ 安裝
git clone https://github.com/acornprover/acornlib /tmp/acornlib && cp -r /tmp/acornlib/.claude/skills/acorn-installation ~/.claude/skills/acornlib// tip: Run this command in your terminal to install the skill
Repository
acornprover
Author
acornprover/acornlib/.claude/skills/acorn-installation
46
Stars
14
Forks
Updated1w ago
Added1w ago