[Axiom-developer] The Great Theorem Prover Showdown

[Tim Daly]

Really worth a read:
https://www.hillelwayne.com/post/theorem-prover-showdown/

and the quote I'm stealing: This is the hill I want to die on.

Tim