Theorem Marketplace
Home
Declare a Bounty
View Bounties
About
Connect Wallet
Declare a New Bounty
Theorem Statement:
-- Both the bounty and the submission should be valid Lean files -- In the bounty, you can replace the entire proof (or anything else) with a sorry -- In the submissions, all sorries should be defined theorem self_eq_self (n : Nat) : n = n := sorry
Bounty Amount (ETH):
Declare Bounty