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