Warmups · warm-up
mediumknown result, no worker yet
Reversing a list twice gives the list back
Theorem · reverse_reverse'
Reversing a list twice gives the list back.
Formal statement · Lean 4.lean
theorem reverse_reverse' (xs : List Nat) : xs.reverse.reverse = xs := by
sorryProof. sorry
Nobody has tried yet.