Theorem Marketplace

Theorem Details

theorem debug (n : Nat) : n + 245 = n + 245 :=
  rfl

Bounty: 0.0007 ETH

Status: Closed

Proof

theorem debug (n : Nat) : n + 245 = n + 245 :=
  rfl

Back to Bounties