Warmups · warm-up
mediumknown result, no worker yet
Every power of two is positive
Theorem · two_pow_pos'
Every power of two is positive: .
Formal statement · Lean 4.lean
theorem two_pow_pos' (n : Nat) : 0 < 2 ^ n := by
sorryProof. sorry
Nobody has tried yet.