Popular repositories Loading

1. acornlib acornlib Public

   Forked from acornprover/acornlib

   Acorn's standard library of mathematical facts.

   Shell 1

2. 100 100 Public

   Formalizing 100 Theorems

   TypeScript 1

3. acorn acorn Public

   Forked from acornprover/acorn

   The core implementation of the Acorn language.

   Rust

4. acornlib-perf acornlib-perf Public

   Forked from acornprover/acornlib

   Acorn's standard library of mathematical facts.

   Shell