Michael Abshoff Michael.Abshoff at
Sun Mar 26 14:34:37 CEST 2006

> Maude  ( uses GMP too.
> Greetings,
> Rick

If you get a chance to update the webpage you might as well add the
CoCoALib ( - which unlike its predecessor
(CoCoA 4.5) is gpled. CoCoA 4.5 is only free as in beer :(. We are
currently writing a replacement for CoCoA 4.5 that will be relased under
the gpl.



More information about the gmp-discuss mailing list