Classical Laver tables computation

Classical Laver table calculator-This calculator calculates the composition and application in classical Laver tables up to $A_{48}$.

Critically maximal congruence calculator-This calculator outputs the largest congruence on a subalgebra of a classical Laver table that does not relate two elements that have different critical points to each other.