mathlib

cc19e30e - docs(project): change example project [ci skip]