Tag Info

users hot new synonyms

dependent-type Questions

0	Last 7 Days	0% unanswered
1	Last 30 Days	0% unanswered
82	All Time	15.9% unanswered

Top dependent-type Answerers

Last 30 Days

1

1

Dan Doel

4364 silver badges6 bronze badges

All Time

164	17	Andrej Bauer 24.9k1 gold badge67 silver badges112 bronze badges
146	21	cody 12.5k1 gold badge37 silver badges74 bronze badges
127	11	Neel Krishnaswami 30.2k89 silver badges158 bronze badges
19	1	jbapple 10.8k2 gold badges26 silver badges50 bronze badges
13	1	Radu GRIGore 4,61626 silver badges68 bronze badges
8	1	Max New 1,1956 silver badges18 bronze badges
8	1	Łukasz Lew 1,0973 silver badges12 bronze badges
2	1	Labbekak 6493 silver badges9 bronze badges
2	1	xavierm02 5113 silver badges9 bronze badges
2	1	David Monniaux 9224 silver badges15 bronze badges
1	1	ice1000 1136 bronze badges
1	1	Dan Doel 4364 silver badges6 bronze badges

Top dependent-type Askers

Last 30 Days

5

1

ionathanch

1056 bronze badges

All Time

32	3	Neel Krishnaswami 30.2k89 silver badges158 bronze badges
24	3	mrsteve 4432 silver badges11 bronze badges
16	1	Max New 1,1956 silver badges18 bronze badges
15	2	Jacques Carette 1,42013 silver badges23 bronze badges
8	1	Bob 3121 silver badge7 bronze badges
6	1	Łukasz Lew 1,0973 silver badges12 bronze badges
6	1	verifying 1,0525 silver badges12 bronze badges
5	1	ionathanch 1056 bronze badges
4	1	cody 12.5k1 gold badge37 silver badges74 bronze badges
3	1	Labbekak 6493 silver badges9 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