Description

Earn at least 100 total score for at least 20 non-community wiki answers in the homotopy-type-theory tag

Rank

(bronze)

Type

tagbased

Awarded

1 × times

Score

1,000

Calculation

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

Last listed

2025-11-03T11:22:02

No user.

Similar Badges

Expand

Similar Badges in other websites

Site		Name	Awarded
	Mathematics	homotopy-type-theory	0
	Mathematics	homotopy-type-theory	1