Theorem Marketplace

Theorem Details

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

Bounty: 0.0007 ETH

Status: Open

Submit Your Proof

Back to Bounties