MAF (Monoid Automata Factory) / News: Recent posts

gpgeowa (used to prove a group word-hyperbolic by finding a strongly geodesic automatic structure for it) was broken in V2 and 2.0.1