DEV-MODE auth (username + password, local only) · GitHub live mode

PProofGardenLean Judge

Challenges Leaderboard Safety

Sign in Create account

Catalogue

Challenges

Nat add zeroC0001🌱 5
3 submissions·2 accepted

ProofGarden Lean Judge — verified Lean theorem challenges.

Legal boundaries Security model Architecture

Seeds are non-monetary reputation points. Seeds cannot be sold, transferred, redeemed, exchanged, or converted into money. ProofGarden does not operate a wallet, token, investment scheme, mining system, staking system, or cash-out system. Automated checking only verifies that the submitted Lean proof body type-checks in the fixed challenge environment; it does not certify mathematical importance, originality, or suitability for publication.