[Mathlib-develop] mailing list

[Stefan M. <st...@he...>]

mark wrote:
> Hi Stefan and Alejandro

> Also now that the mailing list is set up what do you think to using that for 
> all discussion? It'll mean that all our insightful comments will be stored 
> for prosterity. 
I aggree. It's a good idea.

Kind regards,
   Stefan.

------------------------------------
Dr.-Ing. Stefan Mueller
email: St...@he...
------------------------------------