Ask HN: Language with good group theory library?

I looking for a language with a library that will already have some group theory theorem inside. Like lagrange/sylow theroem. Nothing Extra