Acorn

Popular repositories Loading

1. acornlib acornlib Public

   Acorn's standard library of mathematical facts.

   Shell 62 24

2. acorn acorn Public

   The core implementation of the Acorn language.

   Rust 52 10

3. acornprover.org acornprover.org Public

   The main website for the Acorn theorem prover.

   TypeScript 4 1

4. cli cli Public

   The command-line interface to Acorn.

   JavaScript 3

5. tactics tactics Public

   Code for training and evaluating a "tactics" model, which suggests proof steps generatively.

   Python 1