This domain has recently been registered with Namecheap.
mathlib.org