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".
noamz/tamari
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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".