moving mathlib; update projects