Seeds are not money.

ProofGarden Lean Judge issues Seeds as a record of accepted Lean proofs. Seeds are non-monetary reputation points.

• Seeds cannot be sold.
• Seeds cannot be transferred between users.
• Seeds cannot be redeemed, exchanged, or converted into money.
• Seeds confer no claim on the platform, the operator, or any third party.

ProofGarden does not operate a wallet, token, investment scheme, mining system, staking system, or cash-out system. There is no ICO, no airdrop, no marketplace.

Automated checking only verifies that the submitted Lean proof body type-checks in the fixed challenge environment. It does not certify mathematical importance, originality, peer-review status, or suitability for publication.

This page mirrors docs/LEGAL_BOUNDARIES.md in the repository.