gs.daniel.examples:mathlib:1.0