Theorem Marketplace

Theorem Details

import Mathlib

theorem googol_add_267_prime : Nat.Prime (10 ^ 100 + 267):=
  sorry

Bounty: 0.0001 ETH

Status: Open

Submit Your Proof

Back to Bounties