Mathlib with tests