Ask HN: Language with good group theory library?

2 points by Ceezy 8y ago ↗ HN

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