Robuta

https://arxiv.org/html/2405.20904v4 Solving systems of equations on antichains for the computation of the ninth Dedekind Number systems of equations