Deakstadieđáhus: ProverX: Rewriting and Extending Prover9