The Coq mailing list

[Freek Wiedijk <freek AT cs.ru.nl>]

Hi Andrej,

>>>and quite likely the fastest one around,

>I'll count Mathematica in when they tell me how it works.

:-)  I was just reacting to the "fastest one".  I was
surprised as well that they were faster than the dedicated
systems.  But they clearly were.

As you can see from the paper, mpfr was also faster than
iRRAM.  At least back then.

Freek