🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
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.
