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.

Subalgebra of classical Laver table calculator-Here you may calculate the subalgebras of the classical Laver tables. This program will be helpful for analyzing the Kalka-Teicher key exchange for functional endomorphic Laver tables.