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

Last listed

2025-04-25T22:22:01+02:00

Users

Account	Score (Reputation)	Awarded
Gilles 'SO- stop being evil'	2,572,983 (1,539,094)	1