- Description
- Earn at least 400 total score for at least 80 non-community wiki answers in the type-theory tag
- Rank
- (silver)
- Type
- tagbased
- Awarded
- 1 × times
- Score
- 1,000
- Calculation
- ((1 - log(1, (Autobiographer))) × 999) + 1 = 1,000
- Last listed
- 2025-11-05T15:22:02
No user.
Similar Badges
Expand
| Site | Name | Awarded | |
|---|---|---|---|
|
Computer Science | type-theory | 7 |
|
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 |