OpenAI's Astra and Anthropic's Claude helped formalize in Lean that Walter Trump's 1979 packing of 11 unit squares is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results