axiom-developer
[
Top
][
All Lists
]
Advanced
[
Date Prev
][Date Next][
Thread Prev
][Thread Next][
Date Index
][
Thread Index
]
[Axiom-developer] The Great Theorem Prover Showdown
From
:
Tim Daly
Subject
:
[Axiom-developer] The Great Theorem Prover Showdown
Date
:
Thu, 26 Apr 2018 04:38:11 -0400
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
reply via email to
[Prev in Thread]
Current Thread
[Next in Thread]
[Axiom-developer] The Great Theorem Prover Showdown
,
Tim Daly
<=
Prev by Date:
[Axiom-developer] Your Article on Robust Computer Algebra and Theorem Proving
Previous by thread:
[Axiom-developer] Your Article on Robust Computer Algebra and Theorem Proving
Index(es):
Date
Thread