acornprover avatar

acorn-installation

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn install

by acornprover|Open Source
Download Skill
acorn-installation - AI Agent Skill for Claude Code & Cursor | Agent Skills