- Description
- Earn at least 100 total score for at least 20 non-community wiki answers in the type-theory tag
- Rank
- (bronze)
- Type
- tagbased
- Awarded
- 7 × times
- Score
- 821
- Calculation
- ((1 - log(7, 49103)) × 999) + 1 = 821
- Last listed
- 2025-03-31T22:22:02+02:00
Similar Badges
Expand
| Site | Name | Awarded |
|---|---|---|
Computer Science
|
type-theory | 1 |
Mathematics
|
type-theory | 0 |
|
Mathematics
|
type-theory | 3 |
MathOverflow
|
type-theory | 0 |
|
MathOverflow
|
type-theory | 2 |
Proof Assistants
|
type-theory | 1 |
Theoretical Computer Science
|
type-theory | 1 |
|
Theoretical Computer Science
|
type-theory | 4 |
| Account | Score (Reputation) |
Awarded |
|---|---|---|
| Gilles 'SO- stop being evil' |
2,571,208
(1,536,811) |
1 |