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]