Browse the semigroups of order six

All 15,973 semigroups of order six up to isomorphism and anti-isomorphism, numbered as in Smallsemi. Filter them, sort by a column, and open one for its table, basis and proof.

Basis: identities in the shortest known basis. Lean lines: the lines of Lean that checking the class alone compiles, shared library included. The filters are kept in the address, so a filtered list can be bookmarked.