Revision history
A decade of mathematical certainty: Reflections on the Automated Reasoning Group — 1 version recorded. Nothing here has been overwritten.
-
A decade of mathematical certainty: Reflections on the Automated Reasoning Group