The Aya Theorem Prover