dimachine / TamariAnti Star 1 Code Issues Pull requests Discussions Contains the codes and formal context files for (maximal) antichains of Tamari lattices formal-concept-analysis fca bracketing lattices antichains maximal-antichains tamari-lattice order-ideals Updated Dec 30, 2022 Jupyter Notebook