Plant a username.

Username

Email

We'll send a verification link before your account is active.

Password

At least 10 chars; mix of three of: lower-case, upper-case, digit, symbol.

Already have an account? Sign in

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.