- Description
- Earn at least 400 total score for at least 80 non-community wiki answers in the coq tag
- Rank
- (silver)
- Type
- tagbased
- Awarded
- 0 × times
- Score
- 0
- Calculation
- ((1 - log(0, 8336312)) × 999) + 1 = 0
- Last listed
- 2025-04-25T22:22:01+02:00
Similar Badges
Expand
| Site | Name | Awarded |
|---|---|---|
Proof Assistants
|
coq | 3 |
Stack Overflow
|
coq | 0 |
|
Stack Overflow
|
coq | 0 |