Comment on Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching
PowerGloveSoBad@lemmy.world 1 year 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