Contains the codes and formal context files for (maximal) antichains of Tamari lattices
Primary LanguageJupyter NotebookGNU General Public License v3.0GPL-3.0