Comment on Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching
PowerGloveSoBad@lemmy.world 11 months agoGood work everyone. I stay more with the stereo boolean variables, but the news about those lattices being free now is really great stuff. We did it