Leaderboard

Public contributions, with community interest and checked proofs counted separately.

How scoring works

Community points. One point per upvote from another active account on a visible, typechecked question. Self-votes, hidden questions and votes from suspended accounts do not count.

Verified targets. One credit per distinct fixed Lean target for which you have a visible verified proof matching its statement fingerprint. Multiple proofs of the same target count once per contributor.

Counts measure activity, not difficulty, originality, or scientific importance. Proof verification and statement-meaning reviews remain separate. Ties are ordered by the other score, then username. Reports and unfinished attempts remain visible on profiles without earning proof credit.