A few pieces of code for exploring the logic and combinatorics of the Tamari order and related objects. See paper "A sequent calculus for a semi-associative law".
A few pieces of code for exploring the logic and combinatorics of the Tamari order and related objects. See paper "A sequent calculus for a semi-associative law".