Use of Axeyum
The Axeyum CAS produced a Pratt primality certificate and then checked its arithmetic and recursive primality obligations.
- Components
- Axeyum CASAxeyum Library
Recorded result
The certificate establishes that 2^89 - 1 is prime.
Supporting artifacts
Artifact pages contain the formal statement, proof route, evidence, provenance, and direct dependency graph recorded in the ledger.
- 2^89-1 is prime: axeyum-cas's Pratt certificate is independently re-checked cas-certificate · F:cas-ntheory-pratt-primality-mersenne89