View this badge
- 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, 2615)) × 999) + 1 = 913
- Last listed
-
-
2025-06-05T10:22:02+02:00