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 source Open in the app JSON README (API)
About
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.
Details
- Kind
- Agent skills
- Topic
- Developer tools
- Publisher
- acornprover
- Origin
- majiayu
- Category
- ferramentas
- Stars
- 60
- Forks
- 24
- Open pull requests
- 2
- Last push
- 2026-09-04T06:14:55Z
- Repository state
- ativo
- Language
- Shell
- License
- Apache-2.0
- Added
- 2026-08-30 15:39:04
- Updated
- 2026-08-30 15:39:04
- Origin id
acornprover/acornlib/development/acorn-installation@main
README
# 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.