Gap – A System for Computational Discrete Algebra #1 Post by matteodelabre » Sun, Aug 24, 2025, 6:18 PM UTC Gap – A System for Computational Discrete Algebragap-system.org