- Description
- Earn at least 100 total score for at least 20 non-community wiki answers in the rocq-prover tag
- Rank
- (bronze)
- Type
- tagbased
- Awarded
- 15 × times
- Score
- 831
- Calculation
- ((1 - log(15, 8340326)) × 999) + 1 = 831
- Last listed
- 2025-05-16T08:22:02+02:00
Similar Badges
Expand
| Site | Name | Awarded |
|---|---|---|
Stack Overflow
|
rocq-prover | 1 |
|
Stack Overflow
|
rocq-prover | 5 |
| Account | Score (Reputation) |
Awarded |
|---|---|---|
| Gilles 'SO- stop being evil' |
2,574,954
(1,540,427) |
1 |