The Great Theorem Prover Showdown

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

The Great Theorem Prover Showdown

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

Tim


_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer