The Acorn Theorem Prover
Perfectly rigorous mathematics, as simple as possible.
Write down a theorem and a sketch of a proof. The Acorn AI puts check marks by the statements it can verify, and squiggles under the statements that need more detail. It's the easiest way to formally verify your mathematics.
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.