The command-line interface to Acorn.
To install:
npm i -g @acornprover/cli
To use this CLI, you should have a copy of acornlib on your local machine, in a directory named "acornlib".
To verify the entire project, from the acornlib directory:
acorn
To verify a single file:
acorn filename.ac
The CLI will generally keep itself updated.
This repo is just a wrapper for distribution via npm. See the main Acorn repo for the code that runs the actual language, verifier, and language server.