GitHub repository: mbrasamoros/drawsgtree
Created: 2022-04-21T12:44:18Z
Description: Drawsgtree: a tool for visualizing properties in the semigroup tree