2 ms·Ask HN: Language with good group theory library?2 points by Ceezy 9y agoI looking for a language with a library that will already have some group theory theorem inside. Like lagrange/sylow theroem. Nothing Extra