Tag Info

users hot new synonyms

homotopy-type-theory Questions

1	Last 7 Days	100% unanswered
1	Last 30 Days	100% unanswered
12	All Time	16.7% unanswered

Top homotopy-type-theory Answerers

Last 30 Days

All Time

67	5	Andrej Bauer 22.5k1 gold badge59 silver badges108 bronze badges
19	1	Francisco Mota 4933 silver badges11 bronze badges
18	2	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
14	1	Alexis 2411 silver badge3 bronze badges
13	1	Damiano Mazza 3,7731 gold badge16 silver badges31 bronze badges
12	2	Martin Berger 9,4702 gold badges30 silver badges61 bronze badges
7	1	gasche 1,5521 gold badge12 silver badges13 bronze badges
6	1	Jason Gross 1764 bronze badges
5	1	gallais 5563 silver badges14 bronze badges
3	1	cody 11.5k34 silver badges66 bronze badges

Top homotopy-type-theory Askers

Last 30 Days

7

1

Bas Spitters

1362 bronze badges

All Time

17	3	Konstantin Solomatov 8576 silver badges16 bronze badges
16	1	Giorgio Mossa 3491 silver badge10 bronze badges
14	1	user833970 3261 silver badge10 bronze badges
13	1	StudentType 4222 silver badges9 bronze badges
10	1	hawkeye 1,1551 gold badge8 silver badges25 bronze badges
9	1	Nikolaj-K 2891 silver badge9 bronze badges
7	1	Bas Spitters 1362 bronze badges
7	1	Chill2Macht 2482 silver badges12 bronze badges
5	1	Turion 3142 silver badges12 bronze badges
1	1	bbarker 1114 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)

Theoretical Computer Science Stack Exchange works best with JavaScript enabled