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), Popular Question)) × 999) + 1 = 831

Last listed

2026-01-07T23:22:02

Timeline

Events

2025-04-26

Gilles 'SO- stop being evil' unlocked × 1 for a score of 831

Users

Rank	Account		Score (Reputation)	Awarded
2		Gilles 'SO- stop being evil'	2,601,869 (1,553,010)	1

Similar Badges

Expand

Similar Badges in other websites

Site		Name	Awarded
	Stack Overflow	rocq-prover	1
	Stack Overflow	rocq-prover	5