Hello all,

I am pleased to announce the release of the  group-theory package: a package aimed at implementing the theory of finite groups in a reasonably ergonomic, well-documented, and featureful way. It's hardly finished, but my co-maintainer, Reed Mullanix (@totbwf) and I thought this was a good mvp with which we could announce.  

Contributions are very welcome, and I hope everyone enjoys.

Cheers,

Emily Pillmore