Warmups · warm-up
easyknown result, no worker yet
Two plus two is four
Exercise · two_add_two
Two plus two is four. The classic first proof.
Formal statement · Lean 4.lean
theorem two_add_two : 2 + 2 = 4 := by
sorryProof. sorry
Nobody has tried yet.