Description

Earn at least 1000 total score for at least 200 non-community wiki answers in the formal-languages tag

Rank

(gold)

Type

tagbased

Awarded

1 × times

Score

1,000

Calculation

((1 - log((1), Autobiographer)) × 999) + 1 = 1,000

Last listed

2026-07-11T07:22:02

Timeline

Events

2026-06-22

Yuval Filmus unlocked × 1 for a score of 1,000

Users

Rank	Account		Score (Reputation)	Awarded
85		Yuval Filmus	490,713 (359,826)	1

Similar Badges

Expand

Similar Badges in other websites

Site		Name	Awarded
	Computer Science	formal-languages	4
	Computer Science	formal-languages	20
	Mathematics	formal-languages	1
	Mathematics	formal-languages	5
	Stack Overflow	formal-languages	1