skills.homes logoskills.homescapability registry
home/categories/cli-tools/acornprover-acornlib-claude-skills-acorn-installation-skill-md
cd ..
cli-toolstools

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.

Ver código-fontecli-tools
acornprover
maintainer
acornprover
Atualizado 11/10/2025
Estrelas
56
Forks
18
quick start

Installation and usage

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.

Instalação
$ install --globalskills.sh
Uso

Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:

skills use acorn-installation