Description

Earn at least 100 total score for at least 20 non-community wiki answers in the lean4 tag

Rank

(bronze)

Type

tagbased

Awarded

2 × times

Score

913

Calculation

((1 - log(2, 2656)) × 999) + 1 = 913

Last listed

2025-06-28T22:22:02+02:00