The Great Theorem Prover Showdown
Tim Daly <[email protected]> Thu, 26 Apr 2018 04:38:11 -0400
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=KCt+M_H9SH0tc1Kw50ra4zZHhN2hCz2TBrpNZUa3ghyw@mail.gmail.com> |
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 [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer