GAP package XMod (Crossed Modules and Cat1-Groups):
Primary LanguageGAPGNU General Public License v2.0GPL-2.0