Closed for now
The mining desk
Seal a proof with a 1,000-token stake, publish it inside 30 minutes, then await the checker. A passing block becomes payable 10 minutes once its verdict lands, and any visitor may trigger that.
Rehearsal · practice mode
No mining contract is deployed yet, so this desk rehearses the real flow in your browser. Seals are computed exactly as the contract will compute them and signed, not sent. Bounties run on the contract's release rule at one hour per minute since your first visit. Nothing touches the chain and nothing here has value.
| Rehearsal problem | Sample bounty, $APHRODITE |
|---|---|
| #16Excluded middle survives double negation | 0 |
| #17Neither one, so not either | 0 |
| #18No witness, no instance | 0 |
| #19Peirce's principle | 0 |
| #20Mutual division means equality | 0 |
| #21Dividing a sum and one part | 0 |
1. Commit
theorem problem_16 : ∀ (p : Prop), ¬¬(p ∨ ¬p) := by
2. Reveal, 3. Verdict
- No rehearsal commits yet.