home/categories/cli-tools/acornprover-acornlib-claude-skills-acorn-installation-skill-md
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.

acornprover
maintainer
acornprover
آخر تحديث 11/10/2025
النجوم
56
التفرعات
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.

التثبيت
$ install --globalskills.sh
الاستخدام

بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:

skills use acorn-installation