Popular repositories Loading

1. acornlib acornlib Public

   Acorn's standard library of mathematical facts.

   Shell 55 18

2. acorn acorn Public

   The core implementation of the Acorn language.

   Rust 43 9

3. acornprover.org acornprover.org Public

   The main website for the Acorn theorem prover.

   TypeScript 4

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