Theorem Marketplace

Theorem Details

theorem debug (n : Nat) : n + 174 = n + 174 :=
  sorry

Bounty: 0.0003 ETH

Status: Closed

Proof

theorem debug (n : Nat) : n + 174 = n + 174 := by
  rfl

Back to Bounties