Last released Nov 14, 2024
A primitive package for creating mathematical structures from magmas to abelian groups, and determining their properties.
Supported by
