finite-groups
Certificate-first finite exact computational mathematics for cohomology, symmetry, and Hurwitz arithmetic