cohomology
Pre-alpha groupoid/sheaf/Riemannian aggregation prototype for federated learning; tested math components, not production FL.
A python CICY toolkit
Certificate-first finite exact computational mathematics for cohomology, symmetry, and Hurwitz arithmetic
