8000 Acorn · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@acornprover

Acorn

The acorn theorem prover.

Popular repositories Loading

  1. acornlib acornlib Public

    Acorn's standard library of mathematical facts.

    14 4

  2. acorn acorn Public

    The core implementation of the Acorn language.

    Rust 12 2

  3. acornprover.org acornprover.org Public

    The main website for the Acorn theorem prover.

    TypeScript

  4. cli cli Public

    The command-line interface to Acorn.

    JavaScript

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0