The core implementation of the Acorn language.

There are several ways to use Acorn.

If you are using Acorn for your own project, all you need is the Acorn extension for VS Code. You don't need this repository.

If you are contributing mathematics to the Acorn Library, you only need the acornlib repository. You don't need this repository.

If you are making changes to the Acorn language, its theorem prover, or to the UI of the VS Code extension, then keep reading.

Fork this and acornlib, then clone them to your development machine.

These instructions will assume you have this repository cloned in ~/acorn and the library cloned in ~/acornlib.

Fork this repository, then clone the fork to your local machine. Install rust and node, then verify tests pass locally:

cd ~/acorn
cargo test -q

If there are any errors, submit an issue.

Then, install dependencies for the VS Code extension.

cd ~/acorn/vscode/extension
npm install
cd ~/acorn/vscode/assistant
npm install

Open up this repository in VS Code. You can open this exact file, if you like, and keep reading from within VS Code. You'll use this instance of VS Code to make changes to the prover or the extension.

Hit F5. This will open up a new VS Code window. This new window is called the "extension development host". Use it to open ~/acornlib. This is where you'll test out your local changes.

The guts of Acorn are written in Rust. Those files are mostly here.

If you'd like to add something new to the language, the best way to start might be to make sure it parses, by adding a new environment test. Then run the tests with cargo test -q, you'll see where it fails, and you can proceed from there. The next step is to make sure it behaves like you want, by adding a new prover test.

Other interesting parts of the code:

• The Acorn binary is the entry point to Rust logic from the command line.

• The Acorn language server handles asynchronous proving in VS Code.

• The VS Code extension runs within VS Code, and handles communication between the user and the language server.

• The Acorn Assistant is a small webapp that runs as its own virtual document within VS Code.

• The model training process uses PyTorch and outputs an ONNX model that the Rust code can import to use at runtime.

• The release process document explains how to release a new version of all this.