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
_______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer