Mathlib is almost done - only .cpp files are left