> Maude (http://maude.cs.uiuc.edu
) uses GMP too.
> Greetings,
> Rick
If you get a chance to update the webpage you might as well
add the
CoCoALib (http://cocoa.dima.unige.i
t/) - 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.
Cheers,
Michael
_______________________________________________
gmp-discuss mailing list
gmp-discuss swox.com
http://s
wox.com/mailman/listinfo/gmp-discuss
|