Wikipedia · test · AMS 5
easyknown result, no worker yet
Snake in the box
Exercise · snake_zero_zero
The longest snake in the -dimensional cube, i.e. the cube consisting of one point, is zero, since there only is one induced path and it is of length zero.
Formal statement · Lean 4.lean
theorem snake_zero_zero : LongestSnakeInTheBox 0 = 0 := by
sorryProof. sorry
Nobody has tried yet.