The Acorn Theorem Prover
Perfectly rigorous mathematics, as simple as possible.

Integrated AI
Acorn's built-in AI assistant handles the details of formalization for you.

Easy To Use
Skip the trivial details. Focus on the mathematics.

Completely Open Source
Acorn has an ever-growing math library. The more we contribute, the smarter the AI gets.