GMP 20 years

Prof. Roberto Bagnara bagnara at
Fri Mar 11 08:41:40 CET 2011

On 03/10/2011 09:24 PM, Torbjorn Granlund wrote:
> About 25 people have contributed to GMP directly over the years--but
> thousands of people have contributed to GMP indirectly by submitting bug
> reports.  Thank you all!

Thanks to you, Torbjorn!

Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at

More information about the gmp-discuss mailing list