Tag Info

users hot new synonyms

homotopy-type-theory Questions

0	Last 7 Days	0% unanswered
1	Last 30 Days	0% unanswered
18	All Time	22.2% unanswered

Top homotopy-type-theory Answerers

Last 30 Days

16	1	Andrej Bauer 24.8k1 gold badge67 silver badges112 bronze badges
13	1	Jacques Carette 1,41013 silver badges23 bronze badges

All Time

100	8	Andrej Bauer 24.8k1 gold badge67 silver badges112 bronze badges
21	1	Francisco Mota 6334 silver badges11 bronze badges
18	2	Neel Krishnaswami 30.2k89 silver badges158 bronze badges
15	1	Alexis 2511 silver badge3 bronze badges
13	1	Jacques Carette 1,41013 silver badges23 bronze badges
13	1	Damiano Mazza 4,3081 gold badge18 silver badges32 bronze badges
12	2	Martin Berger 9,9733 gold badges33 silver badges62 bronze badges
7	1	gasche 1,6571 gold badge14 silver badges13 bronze badges
6	1	Jason Gross 2511 silver badge5 bronze badges
5	1	Mike Shulman 4602 silver badges10 bronze badges
5	1	gallais 6264 silver badges14 bronze badges
3	1	cody 12.5k1 gold badge37 silver badges74 bronze badges
2	1	András Kovács 5212 silver badges5 bronze badges

Top homotopy-type-theory Askers

Last 30 Days

15

1

Henry Story

4652 silver badges10 bronze badges

All Time

17	3	Konstantin Solomatov 1,6228 silver badges18 bronze badges
16	1	Giorgio Mossa 4442 silver badges10 bronze badges
15	1	Henry Story 4652 silver badges10 bronze badges
14	1	user833970 5162 silver badges10 bronze badges
13	1	StudentType 7473 silver badges9 bronze badges
12	1	MaiaVictor 3,0358 silver badges28 bronze badges
11	1	hawkeye 2,4511 gold badge14 silver badges30 bronze badges
10	1	Nikolaj-K 5012 silver badges10 bronze badges
9	1	Bas Spitters 1953 bronze badges
7	1	WorldSEnder 1735 bronze badges
7	1	Chill2Macht 4633 silver badges12 bronze badges
6	1	Nift 3751 silver badge9 bronze badges
5	1	Turion 5843 silver badges12 bronze badges
3	1	მამუკა ჯიბლაძე 1314 bronze badges
1	1	bbarker 1214 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