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.

Voir le code sourcecli-tools
acornprover
maintainer
acornprover
Mis à jour 11/10/2025
Étoiles
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.

Installation
$ install --globalskills.sh
Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use acorn-installation