[Mathlib-develop] change name of mathlib

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

Hi,

what about changing the name of mathlib?

I did a search on google and it turned out more than 40200 hits.

A small change to Jmathlib turns out just 2 hits.

We could  just change the name on the webpages and in all
mails, so the search engines will find it in the future.

I also thought about a totally different name, like
jOnePlus
jAddAdd
....
these words are not used anywhere on the web.

The word "mathlib" is not very unique in my opinion and people
won't think of OUR mathlib when they read this word.

What do you think about this?

Kind regards,
   Stefan.

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