acorn-installation

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acor

Open site Project Open in the app JSON README (API)

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acorn for the first time.

README

Loading documentation…

# acornlib Acorn's standard library of mathematical facts. This repository is a mathematics library, written in Acorn, building up mathematics from the inherent axioms. The implementation of the Acorn language itself, the integrated AI, and the VS Code extension are handled in the [acorn repository](https://github.com/acornprover/acorn). The code for the acornprover.org website, including documentation, is in the [acornprover.org repository](https://github.com/acornprover/acornprover.org). ## How To Contribute We welcome both human and AI contributions. The goal of acornlib is to be a repository of all known mathematics. So you're welcome to contribute anything that isn't in here yet. If you have OpenAI Codex and you'd like to use it to contribute, the first step is think of a project you'd like to contribute. A theorem you'd like to prove, or an area of mathematics you'd like to generally formalize. Then ask Codex to do it, with the `work-on-project` skill. If you're looking for ideas, jump into [Discord](https://discord.gg/RqXxaye4MC) and we're happy to discuss.

Details

Type: Agent skills
Topic: Developer tools
Publisher: acornprover
Source: majiayu
Category: Tools
Stars: 62
Copies (forks): 24
Proposed changes: 2
Last update: 2026-09-04T06:14:55Z
Project status: Active
Language: Shell
License: Apache-2.0
Added: 2026-09-02 18:10:55
Updated: 2026-09-02 18:10:55
Source id: acornprover/acornlib/.claude/skills/acorn-installation@master

acorn-installation

README

More